| SciPort RLP

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

Theory Reasoning in Connection Calculi and the Linearizing Completion Approach

1996

Erscheinungsjahr: 1996

Publikationstyp: Buch

Autoren

Baumgartner, P. (Autor)

Klassifikation

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)