MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Higher Order Rippling in IsaPlanner." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 1 documents found, showing 1 through 1.
ATOM RSS
  • Higher order rippling in IsaPlanner  
  • by Lucas Dixon, Jacques Fleuriot — 2004 — Theorem Proving in Higher Order Logics 2004 (TPHOLs’04), LNCS 3223
  • Higher Order Rippling in IsaPlanner Lucas Dixon and Jacques Fleuriot School of Informatics…
  • Cited by 8 (2 self)Add To MetaCart
Help! Showing 1 through 1.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB