On First-Order Model-Based Reasoning
Narciso Marti-Oliet; Peter Csaba Ölveczky; Carolyn Talcott (Hrsg). Logic, Rewriting, and Concurrency. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2015 S. 181 - 204
Erscheinungsjahr: 2015
ISBN/ISSN: 978-3-319-23164-8
Publikationstyp: Buchbeitrag
Sprache: Englisch
Doi/URN: 10.1007/978-3-319-23165-5_8
| Geprüft | Bibliothek |
