Logo
EnglishCookie löschen - von nun an wird die Spracheinstellung Ihres Browsers verwendet.
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; 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 Sat Dec 10 13:42:32 2016 CET erstellt.