On First-Order Model-Based Reasoning
S. 1 - 24
Publikationstyp: (noch) nicht publizierte Dokumente
Sprache: Englisch
Doi/URN: 10.48550/arXiv.1502.02535
Autoren
Bonacina, Maria Paola (Autor)
Furbach, Ulrich (Autor)
Sofronie-Stokkermans, Viorica (Autor)