Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige 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


DFG Fachgebiet:
- ohne Zuordnung

DDC Sachgruppe:
Allgemeines, Wissenschaft

Verbundene Forschungsprojekte


Verknüpfte Personen