Logo Logo
Eine Ebene nach oben
Exportieren als [feed] RSS 1.0 [feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: Konferenzbeitrag
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), 23.05.-26.05.1988, Argonne, Illinois. [PDF, 2MB]

Diese Liste wurde am Thu Nov 23 20:12:32 2017 CET erstellt.