Proceedings of the 7th International Workshop on First-Order Theorem Proving, FTP 2009, Oslo, Norway, July 6-7, 2009.
CEUR-WS.org 2010
Erscheinungsjahr: 2010
Titel des mehrbändigen Werkes: CEUR Workshop Proceedings - Bd.556
Publikationstyp: Buch (Konferenzband)
| Geprüft: | Bibliothek |
