Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

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)

Website
Geprüft:Bibliothek

Autoren


Peltier, Nicolas (Herausgeber)

Verknüpfte Personen