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
| Geprüft | Bibliothek |
Verknüpfte Personen
- Ulrich Furbach
- Leiter
(Künstliche Intelligenz)
- Viorica Sofronie-Stokkermans
- Mitarbeiter/in
(Institut für Informatik)
