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

Suche nach Veröffentlichungen - Detailansicht

 
Art der Veröffentlichung: Artikel in Konferenzband
Autor: H. Shi
Titel: A Semantic Resolution Algorithm for Temporal Logic
Buch / Sammlungs-Titel: Proceedings of International Symposium for Young Computer Professionals, 1989
Erscheinungsjahr: 1989
Status: Reviewed
Letzte Aktualisierung: 11. 03. 2004

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