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 Oct 19 21:14:34 2024 CEST
erstellt.