| SciPort RLP

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

Automated Deduction Techniques for the Management of Personalized Documents

Annals of mathematics and artificial intelligence. AMAI. Bd. 38. H. 1. Amsterdam: Baltzer 2003 S. 211 - 228

Erscheinungsjahr: 2003

ISBN/ISSN: 1012-2443

Publikationstyp: Zeitschriftenaufsatz

Geprüft

Bibliothek

Autoren

Baumgartner, Peter (Autor)

Furbach, Ulrich (Autor)

Verbundene Forschungsprojekte

In2Math: Interaktive Elemente in der Mathematik und Informatikgrundausbildung

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

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

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

Verknüpfte Personen

Ulrich Furbach
Mitarbeiter/in
(Institut für Informatik)

Beteiligte Einrichtungen

Institut für Informatik
(Universität Koblenz)

Künstliche Intelligenz
(Universität Koblenz)