| SciPort RLP

Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Theory Reasoning in Connection Calculi and the Linearizing Completion Approach

1996

Erscheinungsjahr: 1996

Publikationstyp: Buch

Autoren

Baumgartner, P. (Autor)

Klassifikation

DFG Fachgebiet:
- ohne Zuordnung

DDC Sachgruppe:
Allgemeines, Wissenschaft

Verbundene Forschungsprojekte

Tools for Reusable Integrated Adaptable Learning - Systems/standards for Open Learning Using Tested Interoperable Objects and Networking (TRIAL-SOLUTION)

Beteiligte Einrichtungen

Künstliche Intelligenz
(Universität Koblenz)

Institut für Informatik
(Universität Koblenz)