|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Paper
Anzahl der Publikationen: 1
Paper
Bry, François und Torge, Sunna
(Dezember 1997):
Model Generation for Appllications - A Tableaux Method. Complete for Finite Satisfiability.
[PDF, 252kB]