| SciPort RLP

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

On First-Order Model-Based Reasoning

CoRR. S. 1 - 24

Publikationstyp: Preprint (noch nicht publizierte Dokumente)

Sprache: Englisch

Doi/URN: 10.48550/arXiv.1502.02535

Volltext über DOI/URN

Website

Geprüft

Bibliothek

Autoren

Bonacina, Maria Paola (Autor)

Furbach, Ulrich (Autor)

Sofronie-Stokkermans, Viorica (Autor)

Verknüpfte Personen

Ulrich Furbach
Mitarbeiter/in
(Institut für Informatik)

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

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

Beteiligte Einrichtungen

Institut für Informatik
(Universität Koblenz)