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