LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)
Attributed to:
LEO II: An Effective Higher-Order Theorem Prover
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-540-71070-7_14
Publication URI: http://dx.doi.org/10.1007/978-3-540-71070-7_14
Type: Book Chapter
Book Title: Automated Reasoning - 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings (2008)
Page Reference: 162-170
ISBN: 978-3-540-71069-1
ISSN: 2193-9616