Presenting Machine-Found Proofs
McRobbie, Michael A. (Hrsg). Automated deduction : proceedings / CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Berlin: Springer 1996 S. 221 - 225 (Lecture Notes in Computer Science ; 1104)
Erscheinungsjahr: 1996
ISBN/ISSN: 3-540-61511-3
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/3-540-61511-3_83
| Geprüft | Bibliothek |
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Mathematik
