Fast Tactic-based Theorem Proving (2000)
Cached
Download Links
- [www.cs.cornell.edu]
- [mojave.cs.caltech.edu]
- [www.cs.cornell.edu]
- [www.cs.cornell.edu]
- [files.metaprl.org]
- DBLP
Other Repositories/Bibliography
by
Jason Hickey
,
Aleksey Nogin
| Venue: | TPHOLs 2000, LNCS 1869 |
| Citations: | 9 - 4 self |
Document Versions
| Fast Tactic-based Theorem Proving –Jason Hickey, Aleksey Nogin — 2000 — TPHOLs 2000, LNCS 1869 |
| Fast Tactic-based Theorem Proving –Jason Hickey, Aleksey Nogin — TPHOLs 2000, LNCS 1869 |
| Fast Tactic-based Theorem Proving –Jason Hickey, Aleksey Nogin — 2000 — TPHOLs 2000, LNCS 1869 |
| Fast tactic-based theorem proving –Jason Hickey, Aleksey Nogin — 2000 — TPHOLS 2000, LNCS 1869 |
| Fast tactic-based theorem proving –Jason Hickey, Aleksey Nogin — 2000 — TPHOLs 2000, LNCS 1869 |
