Presenting Machine-Found Proofs.
McRobbie, Michael A. (Hrsg). CADE. 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:
4.43 - Informatik
DDC Sachgruppe:
Mathematik
