Starten Sie Ihre Suche...


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

On First-Order Model-Based Reasoning.

Logic, Rewriting, and Concurrency. 2015 S. 181 - 204

Erscheinungsjahr: 2015

Publikationstyp: Zeitschriftenaufsatz

Doi/URN: 10.1007/978-3-319-23165-5_8

Volltext über DOI/URN

GeprüftBibliothek

Autoren

Paola Bonacina, Maria (Autor)
Furbach, Ulrich (Autor)
Sofronie-Stokkermans, Viorica (Autor)

Verknüpfte Personen

Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans

Beteiligte Einrichtungen

Logo Institut für Informatik
Logo Formale Methoden und Theoretische Informatik