Find link

language:

Find link is a tool written by Edward Betts.

searching for Conference on Automated Deduction 32 found (55 total)

alternate case: conference on Automated Deduction

Abstract object theory (767 words) [view diff] exact match in snippet view article find links to article

Deduction – CADE 25: Proceedings of the 25th International Conference on Automated Deduction (Lecture Notes in Artificial Intelligence: Volume 9195), Berlin:

Deepak Kapur (1,921 words) [view diff] exact match in snippet view article find links to article

principle for equational specifications". 9th International Conference on Automated Deduction. Lecture Notes in Computer Science. Vol. 310. Springer, Berlin

Nonelementary problem (458 words) [view diff] exact match in snippet view article find links to article

trees", Automated Deduction — CADE-13: 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996, Proceedings

Monomorphization (364 words) [view diff] exact match in snippet view article find links to article

(2015-07-30). Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. Springer

Paradox (theorem prover) (426 words) [view diff] exact match in snippet view article

Automated Reasoning in Large Theories. The 21st International Conference on Automated Deduction. CEUR Workshop Proceedings. Vol. 257. Bremen. pp. 27–44. ISSN 1613-0073

Walther recursion (194 words) [view diff] exact match in snippet view article find links to article

Slaney, J.K. (eds.). Walther recursion. 13th International Conference on Automated Deduction (CADE-13). LNCS. Vol. 1104. New Brunswick, NJ, USA: Springer-Verlag

Dis-unification (357 words) [view diff] exact match in snippet view article find links to article

Systems and 'Anti-Unification'". Proc. 8th International Conference on Automated Deduction. LNCS. Vol. 230. Springer. pp. 128–140. "Anti-Unification"

Jacques Herbrand Prize (306 words) [view diff] exact match in snippet view article find links to article

and Vivian Poulin-Détolle, physics Herbrand Award — by the Conference on Automated Deduction, for contributions in the field of automated deduction List

SNARK (theorem prover) (300 words) [view diff] exact match in snippet view article

subroutine libraries." Proceedings of the Twelfth International Conference on Automated Deduction (CADE-12), Nancy, France, June 1994, pages 341–355. Richard

Twelf (794 words) [view diff] exact match in snippet view article find links to article

deductive systems (PDF). Proceedings of the 16th International Conference on Automated Deduction (CADE-16). Retrieved 2019-05-08. Lee, Daniel; Karl Crary;

Greg Nelson (computer scientist) (354 words) [view diff] exact match in snippet view article

Geoff (June 2013). "Herbrand Award: for Distinguished Contributions to Automated Reasoning". Conference on Automated Deduction. Retrieved 2021-04-13.

Autoepistemic logic (1,009 words) [view diff] exact match in snippet view article find links to article

In Lusk, Ewing; Overbeek, Ross (eds.). 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings. Lecture

Jacques Herbrand (603 words) [view diff] exact match in snippet view article find links to article

interpretation Herbrand structure Herbrand Award – by the Conference on Automated Deduction, for automated deduction Prix Jacques Herbrand – by the French

Carew Arthur Meredith (849 words) [view diff] exact match in snippet view article find links to article

(eds.). Automated Deduction – CADE 28 – 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. Lecture Notes

Larry Wos (390 words) [view diff] exact match in snippet view article find links to article

(1992), Automated deduction, CADE-11: 11th International Conference on Automated Deduction Publication list at DBLP Maria Paola Bonacina (with Franz

Closed-world assumption (1,351 words) [view diff] exact match in snippet view article find links to article

indefinite databases and the closed world assumption", 6th Conference on Automated Deduction, Lecture Notes in Computer Science, vol. 138, Springer Berlin

Robert L. Constable (807 words) [view diff] exact match in snippet view article find links to article

Distinguished Contributions to Automated Reasoning, CADE Conference on Automated Deduction". cadeinc.org. Archived from the original on 2016-12-20. Retrieved

Redundant proof (821 words) [view diff] exact match in snippet view article find links to article

Paleo, Bruno. Compression of Propositional Resolution Proofs via Partial Regularization. 23rd International Conference on Automated Deduction, 2011.

Alan Bundy (796 words) [view diff] exact match in snippet view article find links to article

plans to guide inductive proofs" (PDF). 9th International Conference on Automated Deduction. Lecture Notes in Computer Science. Vol. 310. pp. 111–120

Owen Astrachan (1,080 words) [view diff] exact match in snippet view article find links to article

Kapur (ed.). Automated Deduction, CADE-11: 11th International Conference on Automated Deduction. Springer-Verlag. pp. 224–238. ISBN 978-0-387-55602-4. Khera

Donald W. Loveland (702 words) [view diff] exact match in snippet view article find links to article

1016/c2009-0-12705-8. hdl:2445/109943. ISBN 978-0-7204-2500-0. 6th Conference on Automated Deduction. Lecture Notes in Computer Science. Vol. 138. (Editor) Springer-Verlag

Jack Minker (836 words) [view diff] exact match in snippet view article find links to article

indefinite databases and the closed world assumption". 6th Conference on Automated Deduction. Lecture Notes in Computer Science. Vol. 138. pp. 292–308

Michael McRobbie (1,593 words) [view diff] exact match in snippet view article find links to article

KRIPKE automated theorem proving system". 8th International Conference on Automated Deduction. Lecture Notes in Computer Science. Vol. 230. pp. 705–706

Larch Prover (1,558 words) [view diff] exact match in snippet view article find links to article

John V. Guttag, "LP: The Larch Prover," Ninth International Conference on Automated Deduction Lecture Notes in Computer Science 310, pages 748–749, Argonne

Program synthesis (2,583 words) [view diff] exact match in snippet view article find links to article

Synthesis of Sorting Programs". Proceedings of the International Conference on Automated Deduction. LNCS. Vol. 230. Springer. pp. 641–660. Jonathan Traugott

Default logic (3,223 words) [view diff] exact match in snippet view article find links to article

description. In Proceedings of the Thirteenth International Conference on Automated Deduction (CADE'96), pages 293-297. G. Wheeler (2004). A resource bounded

Expert system (6,349 words) [view diff] exact match in snippet view article find links to article

Consistency of rule-based expert systems. 9th International Conference on Automated Deduction. Lecture Notes in Computer Science. Vol. 310. pp. 151–161

Resolution (logic) (4,066 words) [view diff] exact match in snippet view article

Traugott, J. (1986). "Nested Resolution". 8th International Conference on Automated Deduction. CADE 1986. LNCS. Vol. 230. Springer. pp. 394–403. doi:10

LowerUnits (929 words) [view diff] exact match in snippet view article find links to article

Paleo, Bruno. Compression of Propositional Resolution Proofs via Partial Regularization. 23rd International Conference on Automated Deduction, 2011.

Anti-unification (3,058 words) [view diff] exact match in snippet view article find links to article

Systems and 'Anti-Unification'". Proc. 8th International Conference on Automated Deduction. LNCS. Vol. 230. Springer. pp. 128–140. E.g. a ⊕ ( b ⊕ f (

Satisfiability modulo theories (4,370 words) [view diff] exact match in snippet view article find links to article

logic". Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings. Springer

Gottfried Wilhelm Leibniz (18,767 words) [view diff] exact match in snippet view article find links to article

Deduction – CADE 25: Proceedings of the 25th International Conference on Automated Deduction (Lecture Notes in Artificial Intelligence: Volume 9195), Berlin: