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

Aachen: CEUR/RWTH 2009

Erscheinungsjahr: 2009

ISBN/ISSN: 1613-0073

Publikationstyp: Buch (Konferenzband)

Sprache: Englisch

Website
Geprüft:Bibliothek

Autoren

Peltier, Nicolas (Herausgeber)
Sofronie-Stokkermans, Viorica (Herausgeber)

Verknüpfte Personen

Viorica Sofronie-Stokkermans

Beteiligte Einrichtungen

Logo Institut für Informatik
Logo Universität Koblenz
Logo Universität Koblenz