Automated Reasoning in the Wild
Automated Deduction: CADE-25. Cham: Springer 2015 S. 55 - 72
Erscheinungsjahr: 2015
ISBN/ISSN: 9783319214009
Publikationstyp: Buchbeitrag
Sprache: Englisch
Doi/URN: 10.1007/978-3-319-21401-6_3
| Geprüft | Bibliothek |
Klassifikation
DDC Sachgruppe:
Informatik
