|
|
|
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 |
|
|
|