Extending Hyper Tableaux with Rigid E-Unification
Prasser, K. (Hrsg). Workshop Deduktion, 20. Jahrestagung für künstliche Intelligenz, Zusammenfassungen. Fakultät Informatik, D-01062 Dresden: Technisches Universität Dresden 1996
Erscheinungsjahr: 1996
Publikationstyp: Diverses
Autoren
Baumgartner, P. (Autor)
Beckert, Bernhard (Autor)
Kühn, Michael (Autor)
Prasser, K. (Herausgeber)
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft
