Search
Add filters:
Use filters to refine the search results.
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
9-Oct-2013 | Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot | - |
9-Oct-2013 | Teaching Procedures in Humans and Robots | - |
9-Oct-2013 | Dynamic Graphics Using Quasi Parallelism | - |
9-Oct-2013 | The Scientific Community Metaphor | - |
9-Oct-2013 | Specification and Proof Techniques for Serializers | - |
9-Oct-2013 | Modelling Distributed Systems | - |
9-Oct-2013 | Functional Abstraction in LISP and PLANNER | - |
9-Oct-2013 | PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot | - |
9-Oct-2013 | PLANNER: A Language for Proving Theorems | - |
9-Oct-2013 | The Incremental Garbage Collection Processes | - |
Discover
Subject
Date issued
- 23 2013