MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Otter/Ivy." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • The Fifteen Provers of the World  
  • by Informal Henk Barendregt, Theorema Markus Rosenkranz, Tudor Jebelean, Armin Fiedler, Martin Pollet, Freek Wiedijk — 2002
  • … Otter/Ivy Michael Beeson, William McCune 22 6 Isabelle/Isar Markus Wenzel, Larry Paulson 27 7 Alfa…
  • Add To MetaCart
  • Comparing mathematical provers  
  • by Freek Wiedijk — 2003 — In Mathematical Knowledge Management, 2nd Int’l Conf., Proceedings
  • … who did √ 2 �∈ Q: Laurent Théry 4 Freek Wiedijk 5. Otter/Ivy Web pages: otter…
  • Cited by 14 (0 self) – Add To MetaCart
  • Comparing Mathematical Provers  
  • by Freek Wiedijk University, Freek Wiedijk — 2003 — In Mathematical Knowledge Management, 2nd Int’l Conf., Proceedings
  • … 5. Otter/Ivy Web pages: and mcs.anl.gov/~mccune/acl2/ivy/> Implementation language: C Main…
  • Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB