Universität Bremen  
  FB 3  
  AG BKB > Publikationen > Suche > Deutsch
English
 

Suche nach Veröffentlichungen - Detailansicht
 
Art der Veröffentlichung: Artikel in Konferenzband
Autor: Marvin Schiller, Christoph Benzmüller
Herausgeber: Bärbel Mertsching, Marcus Hund, Zaheer Aziz
Titel: Presenting Proofs with Adapted Granularity
Buch / Sammlungs-Titel: KI 2009: Advances in Artificial Intelligence - 32nd Annual German Conference on AI
Serie / Reihe: Lecture Notes in Artificial Intelligence
Erscheinungsjahr: 2009
Verleger: Springer
Status: Reviewed
Letzte Aktualisierung: 20. 10. 2009

 Zurück zum Suchergebnis
  
   
Autor: Automatisch generierte Seite 		 
  AG BKB 
Zuletzt geändert am: 23. Februar 2006   impressum