| Bry, François; Manthey, Rainer (1988): SATCHMO: A Theorem Prover Implemented in Prolog. 9th International Conference on Automated Deduction (CADE), 23.05.-26.05.1988, Argonne, Illinois. |
|
2MB |
| Dokumententyp: | Konferenzbeitrag (Anderer) |
|---|---|
| Veröffentlicht in: | Lusk, Ewing (Hrsg.). (1988): Proceedings 9th International Conference on Automated Deduction (CADE). S. 415-434 |
| Fakultät: | Mathematik, Informatik und Statistik > Informatik |
| Themengebiete: | 500 Naturwissenschaften und Mathematik > 510 Mathematik |
| URN: | urn:nbn:de:bvb:19-epub-8473-8 |
| Sprache: | Englisch |
| ID: | 8473 |
| Veröffentlicht am: | 16. Dez. 2008 14:21 |
| Letzte Änderungen: | 29. Apr. 2016 09:03 |
Nur für Administratoren und Editoren: Dokument bearbeiten