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 [u.a.]: Springer 2004

Erscheinungsjahr: 2004

ISBN/ISSN: 0168-7433

Publikationstyp: Zeitschriftenaufsatz

GeprüftBibliothek

Autoren

Baumgartner, P. (Autor)
Furbach, U. (Autor)
Gross-Hardt, M. (Autor)
Sinner, A. (Autor)

Verbundene Forschungsprojekte

Verknüpfte Personen

Ulrich Furbach

Beteiligte Einrichtungen

Logo Institut für Informatik