Starten Sie Ihre Suche...


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

Hyper Tableaux

Proceedings Joint European workshop on Logics in AI '96. Springer 1996

Erscheinungsjahr: 1996

Publikationstyp: Diverses

Autoren


Baumgartner, P. (Autor)
Niemelä, Ilkka (Autor)

Klassifikation


DDC Sachgruppe:
Allgemeines, Wissenschaft

Verbundene Forschungsprojekte


Verknüpfte Personen