SATCHMO: A Theorem Prover Implemented in Prolog

Home | Browse | Advanced Search | About Open Access LMU | Contact

Clear Cookie - decide language by browser settings

Login
Create Account

Faculties
Persons
Subjects
Ludovico-Maximilianea
Keimelion
MALTE
- Old Prints
- Graphical Collection Karl Jakob Hirsch

Bry, François and Manthey, Rainer (1988): SATCHMO: A Theorem Prover Implemented in Prolog. 9th International Conference on Automated Deduction (CADE), 23.05.-26.05.1988, Argonne, Illinois.

Metadaten exportieren

BibTeX
EndNote
HTML
Reference Manager
Text Citation

Autor(en) recherchieren

BASE
- Bry, François
- Manthey, Rainer
Google Scholar
- Bry, François
- Manthey, Rainer
Scirus
- Bry, François
- Manthey, Rainer

Preview

PDF
2089Kb

Item Type:	Conference or Workshop Item (Other)
Published in:	Lusk, Ewing (ed.) . (1988): Proceedings 9th International Conference on Automated Deduction (CADE). , pp. 415-434
Collections:	Mathematics, Computer Science and Statistics
Subjects:	500 Science > 510 Mathematics
URN:	urn:nbn:de:bvb:19-epub-8473-8
Language:	English
ID Code:	8473
Deposited On:	16. Dec 2008 14:21
Last Modified:	08. Aug 2012 10:44

Repository Staff Only: item control page