Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Hyper Tableaux. Part I: Proof Procedure and Model Generation

Dagstuhl-Seminar Reports Disjunctive logic programming and databases: Non-monotonic aspects. 1996

Erscheinungsjahr: 1996

Publikationstyp: Diverses

Autoren

Baumgartner, P. (Autor)
Furbach, U. (Autor)

Klassifikation

DDC Sachgruppe:
Allgemeines, Wissenschaft

Verknüpfte Personen

Ulrich Furbach

Beteiligte Einrichtungen

Logo Institut für Informatik