P.rex : An Interactive Proof Explainer
Goré, Rajeev; Leitsch, Alexander; Nipkow, Tobias (Hrsg). Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings. Berlin: Springer 2001 S. 416 - 420 (Lecture Notes in Computer Science (LNCS) ; 2083)
Erscheinungsjahr: 2001
ISBN/ISSN: 978-3-540-42254-9
Publikationstyp: Buchbeitrag
Sprache: Englisch
Doi/URN: 10.1007/3-540-45744-5_33
| Geprüft | Bibliothek |
Inhaltszusammenfassung
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Mathematik
