| SciPort RLP

Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Proceedings of the 7th International Workshop on First-Order Theorem Proving, FTP 2009, Oslo, Norway, July 6-7, 2009.

FTP. Bd. 556. 2010

Erscheinungsjahr: 2010

Publikationstyp: Zeitschriftenaufsatz

Geprüft

Bibliothek

Autoren

Verknüpfte Personen

Viorica Sofronie-Stokkermans
Mitarbeiter/in
(Institut für Informatik)

Viorica Sofronie-Stokkermans
Mitarbeiter/in
(Formale Methoden und Theoretische Informatik)

Beteiligte Einrichtungen

Institut für Informatik
(Universität Koblenz)