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

Suche nach Veröffentlichungen - Detailansicht

 
Art der Veröffentlichung: Artikel
Autor: Serge Autexier, Dominik Dietrich
Titel: Recent developments in Omega's proof search programming language
Band: 44
Seite(n): 52 – 59
Zeitschrift: SIGSAM Bulletin
Ausgabe: 2
Erscheinungsjahr: 2010
Status: Reviewed
Letzte Aktualisierung: 19. 01. 2011

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