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

Suche nach Veröffentlichungen - Detailansicht
 
Art der Veröffentlichung: Artikel
Autor: Christoph Lüth, Burkhart Wolff
Titel: Functional Design and Implementation of Graphical User Interfaces for Theorem Provers
Band: 9
Seite(n): 167 – 189
Zeitschrift: Journal of Functional Programming
Ausgabe: 2
Erscheinungsjahr: 1999
PDF Version: http://www.informatik.uni-bremen.de/~cxl/papers/fungui.pdf
PostScript Version: http://www.informatik.uni-bremen.de/~cxl/papers/fungui.ps.gz
Status: Reviewed
Letzte Aktualisierung: 22. 04. 2003

 Zurück zum Suchergebnis
  
   
Autor: Automatisch generierte Seite 		 
  AG BKB 
Zuletzt geändert am: 9. Mai 2023   impressum