MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Machine Deduction." – sorted by Relevance.

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

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

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

ATOM

Machine Deduction
by Christophe Raffalli — 1993 — In Proc. Types for Proofs and Program, LNCS 806
…Machine Deduction Christophe Raffalli L.F.C.S. Edinburgh August 1993 Abstract We present…
Cited by 1 (0 self) – Add To MetaCart

Is (Gödelian) Model-Based Deductive Reasoning Computational?
by Selmer Bringsjord — 1999 — Philosophica
…, can be wholly captured by computation. In short, machine deduction, as the century turns, is mere…
Cited by 3 (2 self) – Add To MetaCart

Is (Godelian) Model-Based Deductive Reasoning Computational?
by Selmer Bringsjord The — 1998 — Philosophica
… as the manipulation thereof, can be wholly captured by computation. In short, machine deduction, as the century turns…
Add To MetaCart

IMPS: an updated system description
by William M. Farmer, Joshua D. Guttman, F. Javier, Thayer Fábrega — 1996 — Automated Deduction--CADE-13, Lecture Notes in Computer Science
… is assigned a sort (and a type). This facilitates machine deduction since the sort of a term gives some…
Cited by 2 (1 self) – Add To MetaCart

IMPS: System Description
by William M. Farmer, Joshua D. Guttman, F. Javier Thayer — 1992 — Automated Deduction|CADE-11, volume 607 of Lecture Notes in Computer Science
… machine deduction, because the subtype of an expression gives some immediate information about…
Cited by 13 (6 self) – Add To MetaCart

Design Recovery by Automated Search for Structural Design Patterns in Object-Oriented Software
by Christian Krämer, Lutz Prechelt, Computec Gmbh — 1996
… with moderately complex machine deduction and only a modest amount of additional interpretation by the user…
Cited by 70 (0 self) – Add To MetaCart

Axiomatizing Reflective Logics and Languages
by Manuel G. Clavel, José Meseguer — 1996 — Proceedings of Reflection'96
… in the machine, and deduction in the logic. 5 One should of course add that in some pragmatic sense…
Cited by 32 (18 self) – Add To MetaCart

Axiomatizing reective logics and languages
by Manuel G. Clavel, Jose Meseguer — 1996 — Proceedings of Reection'96
…: computation in the machine, and deduction in the logic. 5 One should of course add that in some pragmatic…
Cited by 2 (0 self) – Add To MetaCart

Two computer-supported proofs in metric space topology
by William M. Farmer, F. Javier Thayer — 1991 — Notices of the American Mathematical Society
… by mathematicians. Nevertheless, some theorem provers have been used to produce fully machine-checked proofs…
Cited by 8 (3 self) – Add To MetaCart

Machine Learning of Computer Vision Algorithms
by Steven R. Schwartz, Benjamin W. Wah
…Machine Learning of Computer Vision Algorithms Steven R. Schwartz Motorola Inc., RTSG 1501 W…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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