Showing 1 - 2 results of 2 for search 'Planner programming language', query time: 0.23s Refine Results
  1. 1
    Published 1997
    Table of Contents: ...Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm /...

    Conference Proceeding Book
  2. 2
    Published 1997
    Table of Contents: ...Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm /...

    Conference Proceeding Book