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: | 04. Nov 2020 12:50 |
Repository Staff Only: item control page