Anzahl der Publikationen: 1
Konferenzbeitrag
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]
Diese Liste wurde am
Sat Dec 21 20:01:51 2024 CET
erstellt.