Bry, François und Torge, Sunna
(Dezember 1997):
Model Generation for Appllications - A Tableaux Method. Complete for Finite Satisfiability.
[PDF, 252kB]
| Dokumententyp: | Paper |
|---|---|
| Publikationsform: | Preprint |
| Fakultät: | Mathematik, Informatik und Statistik > Informatik |
| Themengebiete: | 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik |
| URN: | urn:nbn:de:bvb:19-epub-14859-9 |
| Sprache: | Englisch |
| Dokumenten ID: | 14859 |
| Datum der Veröffentlichung auf Open Access LMU: | 17. Apr. 2013 08:32 |
| Letzte Änderungen: | 13. Aug. 2024 12:50 |
- Dokument bearbeiten
