System Description: Interactive Proof Critics in XBarnacle
In: Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings, Jg. 1831 (2000), S. 502-506
Online
E-Book
Zugriff:
Titel: |
System Description: Interactive Proof Critics in XBarnacle
|
---|---|
Autor/in / Beteiligte Person: | Jackson, Mike ; Lowe, Helen ; Goos, Gerhard [Ed.] ; Hartmanis, Juris [Ed.] ; van Leeuwen, Jan [Ed.] ; Carbonell, Jaime G. [Ed.] ; Siekmann, Jörg [Ed.] ; McAllester, David [Ed.] |
Zeitschrift: | Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings, Jg. 1831 (2000), S. 502-506 |
Veröffentlichung: | 2000 |
Medientyp: | E-Book |
ISBN: | 978-3-540-67664-5 (print) ; 978-3-540-45101-3 (print) |
DOI: | 10.1007/10721959_41 |
Sonstiges: |
|