MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "International Conference on Automation" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

198 documents found, showing 1 through 10. Next 10 →

ATOM

CADE-15 - The 15th International Conference on Automated Deduction - Workshop Proceedings - Using
by J��rg Denzinger, Michael Kohlhase, Bruce Spencer — 1998
…CADE-15 The 15th International Conference on Automated Deduction July 5-10, 1998, Lindau, Germany…
Add To MetaCart

CADE-15 - The 15th International Conference on Automated Deduction July 5-10, 1998, Lindau, Germany
by Nikolaj S. Bj��rner, Reiner H��hnle, Wolfram Menzel, Wolfgang Reif, Peter H. Schmitt, Wolfram Menzel (karlsruhe, Wolfgang Reif (ulm, Peter H. Schmitt (karlsruhe — 1998
…CADE-15 The 15th International Conference on Automated Deduction July 5-10, 1998, Lindau, Germany…
Add To MetaCart

Ordered Chaining Calculi for First-Order Theories of Transitive Relations
by Leo Bachmair, Harald Ganzinger — 1998 — Journal of the ACM
… International Conference on Automated Deduction (Nancy, France, June/July 1994) and the 9th IEEE Symposium…
Cited by 20 (4 self) – Add To MetaCart

Cv
by Rune M��ller Jensen, Advisors Prof, Manuela M. Veloso, Prof R, Al E. Bryant, Adversarial Domains — 1984
…th International Conference on Automated Planning & Scheduling (ICAPS-04). 2002-2003 Publicity…
Add To MetaCart

'97), Volume 1227 of
by Lecture Notes In, Saunders Maclane, Ieke Moerdijk, Sheaves Geometry
… Mcallester, editor. Proceedings of the 17th International Conference on Automated Deduction, volume 1831…
Add To MetaCart

Corporation, 1987. Mitre
by Corporation Ts Of, J. D. Guttman
… Conference on Automated Deduction, volume 449 of Lecture Notes in Computer Science, pages 653-654. Springer…
Add To MetaCart

Term Schematazations and Their Applications - CADE 13 Workshop
by Tom��s E. Uribe, Bt Bruno Bogaert, Sophie Tison Equality, Cd Hubert Comon, Hj Nevin Heintze — 1996
… constraints. In Deepak Kapur, editor, Proc. of the 11 th International Conference on Automated Deduction…
Add To MetaCart

Term Schematizations and Their Applications
by M. Hermann, G. Salzer, Divergence In H. Kirchner, G. Levi, G. Salzer Deductive Generalization — 1995
…. Bundy, editor, 12th International Conference on Automated Deduction, LNCS 814(LNAI), pages 282…
Add To MetaCart

A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler
by Mark E. Stickel — 1987 — Journal of Automated Reasoning
… revised and expanded version of a paper presented at the 8th International Conference on Automated…
Cited by 93 (2 self) – Add To MetaCart

Deductive Composition of Astronomical Software from Subroutine Libraries
by Mark Stickel, Richard Waldinger, Michael Lowry, Thomas Pressburger, Ian Underwood — In Proceedings 12th International Conference on Automated Deduction
… International Conference on Automated Deduction, Nancy, France, June 1994, pages 341-355. t {stickel…
Cited by 57 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB