XBarnacle: Making theorem provers more accessible
In: Automated Deduction—CADE-14 : 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings, Jg. 1249 (1997), S. 404-407
Online
E-Book
Zugriff:
Titel: |
XBarnacle: Making theorem provers more accessible
|
---|---|
Autor/in / Beteiligte Person: | Lowe, Helen ; Duncan, David ; McCune, William [Ed.] |
Zeitschrift: | Automated Deduction—CADE-14 : 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings, Jg. 1249 (1997), S. 404-407 |
Veröffentlichung: | 1997 |
Medientyp: | E-Book |
ISBN: | 978-3-540-63104-0 (print) ; 978-3-540-69140-2 (print) |
DOI: | 10.1007/3-540-63104-6_39 |
Sonstiges: |
|