MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "SATCHMO A Theorem Prover Implemented in Prolog." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

ATOM

Model Computation - Principles, Algorithms, Applications
by Peter Baumgartner, Nicolas Peltier, Hantao Zhang — 2000 — Proc. 17th Int. Conf. on Automated Deduction (CADE'00), LNAI 1831, p. 513
…. Rainer Manthey and Francois Bry. SATCHMO: A theorem prover implemented in Prolog. In Proc. of CADE-9…
Cited by 1 (0 self) – Add To MetaCart

Bibliography
by Ab Apt Bol, Abw K. R. Apt, H. A. Blair, Ahv S. Abiteboul, R. Hull, V. Vianu, Foundations Databases Addisonwesley, Logic Programming, Semantics In J. Dix, L. M. Pereira, T. C. Przymusinski (eds, Bdp S. Brass, J. Dix, T. C. Przymusinski Characterizations — 1996
…. Manthey, F. Bry: SATCHMO: a theorem prover implemented in Prolog. In E. Lusk, R. Overbeek (eds.), 9th Conf…
Add To MetaCart

Showing 1 through 2.

ATOM

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