Browse
Collection's Items (Sorted by Submit Date in Descending order): 1001 to 1020 of 5627
| Issue Date | Title | Author(s) |
|---|---|---|
| 9-Oct-2013 | TORTIS: Toddler's Own Recursive Turgle Interpreter System | - |
| 9-Oct-2013 | Commenting Proofs | - |
| 9-Oct-2013 | LOGO Manual | - |
| 9-Oct-2013 | Force Feedback in Precise Assembly Tasks | - |
| 9-Oct-2013 | The Luxury of Necessity | - |
| 9-Oct-2013 | LLOGO: An Implementation of LOGO in LISP | - |
| 9-Oct-2013 | Plane Geometry Theorem Proving Using Forward Chaining | - |
| 9-Oct-2013 | Summary of MYCROFT: A System for Understanding Simple Picture Programs | - |
| 9-Oct-2013 | A Relaxation Approach to Splitting in an Automatic Theorem Prover | - |
| 9-Oct-2013 | Design Outline for Mini-Arms Based on Manipulator Technology | - |
| 9-Oct-2013 | A Mechanical Arm Control System | - |
| 9-Oct-2013 | Proposal to ARPA for Research on Intelligent Automata and Micro-Automation | - |
| 9-Oct-2013 | On Lightness | - |
| 9-Oct-2013 | Uses of Technology to Enhance Education | - |
| 9-Oct-2013 | Paterson's Worm | - |
| 9-Oct-2013 | U.T.: Telnet Reference Manual | - |
| 9-Oct-2013 | Manipulator Design Vignettes | - |
| 9-Oct-2013 | A Concrete Approach to Abstract Recursive Definitions | - |
| 9-Oct-2013 | PEEK | - |
| 9-Oct-2013 | PEEK | - |
Collection's Items (Sorted by Submit Date in Descending order): 1001 to 1020 of 5627
Discover
Subject
Date issued
- 5626 2013
