Starten Sie Ihre Suche...


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

Living Book - Deduction, Slicing, and Interaction

Journal of Automated Reasoning. Bd. 32. H. 3. Dordrecht: Springer 2004 S. 259 - 286

Erscheinungsjahr: 2004

ISBN/ISSN: 1573-0670

Publikationstyp: Zeitschriftenaufsatz

Sprache: Englisch

Doi/URN: 10.1023/B:JARS.0000044872.51237.c9

Volltext über DOI/URN

GeprüftBibliothek

Inhaltszusammenfassung

  • e-learning
  • knowledge management
  • knowledge representation
  • theorem proving

Autoren

Baumgartner, Peter (Autor)
Furbach, Ulrich (Autor)
Gross-Hardt, Margret (Autor)
Sinner, Alex (Autor)

Verbundene Forschungsprojekte

Verknüpfte Personen

Ulrich Furbach

Beteiligte Einrichtungen

Logo Institut für Informatik