Starten Sie Ihre Suche...


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

First-Order Tableaux in Applications (Extended Abstract).

TABLEAUX. 2011 S. 17 - 19

Erscheinungsjahr: 2011

Publikationstyp: Zeitschriftenaufsatz

Doi/URN: 10.1007/978-3-642-22119-4_2

Volltext über DOI/URN

GeprüftBibliothek

Autoren

Furbach, Ulrich (Autor)

Verknüpfte Personen

Ulrich Furbach

Beteiligte Einrichtungen

Logo Institut für Informatik