| 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 |
| Item Type: | Conference or Workshop Item (Other) |
|---|---|
| Published in: | Lusk, Ewing (ed.) . (1988): Proceedings 9th International Conference on Automated Deduction (CADE). pp. 415-434 |
| Faculties: | Mathematics, Computer Science and Statistics > Computer Science |
| 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: | 29. Apr 2016 09:03 |
Repository Staff Only: item control page