Search Results - Carette, Jacques

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner

    On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner by Dennis, Louise Abigail, Jamnik, Mateja, Pollet, Martin

    Published 2005
    Other Authors: “…Carette, Jacques…”
    Get full text

Search Tools: