Automated Reasoning in the Wild
Amy P. Felty; Aart Middeldorp (Hrsg). Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2015 S. 55 - 72
Erscheinungsjahr: 2015
ISBN/ISSN: 978-3-319-21400-9
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-319-21401-6_3
| Geprüft: | Bibliothek |
