Logo Logo
Hilfe
Hilfe
Switch Language to English

Bry, François und Manthey, Rainer (1988): SATCHMO: A Theorem Prover Implemented in Prolog. 9th International Conference on Automated Deduction (CADE), Argonne, Illinois, 23.05.-26.05.1988. Lusk, Ewing (Hrsg.): In: Proceedings 9th International Conference on Automated Deduction (CADE), S. 415-434 [PDF, 2MB]

[thumbnail of 8473.pdf]
Vorschau

Download (2MB)
Dokument bearbeiten Dokument bearbeiten