On First-Order Model-Based Reasoning.
CoRR. Bd. abs/1502.02535. 2015
Erscheinungsjahr: 2015
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
Verknüpfte Personen
- Ulrich Furbach
- Mitarbeiter/in
(Institut für Informatik)
- Viorica Sofronie-Stokkermans
- Mitarbeiter/in
(Institut für Informatik)