MIT Items: Recent submissions

Now showing items 1001-1020 of 5627

TORTIS: Toddler's Own Recursive Turgle Interpreter System

Perlman, Radia (2013-10-09)
Commenting Proofs

Geiser, James R. (2013-10-09)
LOGO Manual

Abelson, Hal; Goodman, Nat; Rudolph, Lee (2013-10-09)
Force Feedback in Precise Assembly Tasks

Inoue, Hirochika (2013-10-09)
The Luxury of Necessity

Bamberger, Jeanne (2013-10-09)
LLOGO: An Implementation of LOGO in LISP

Goldstein, Ira; Lieberman, Henry; Bochner, Harry; Miller, Mark (2013-10-09)
Plane Geometry Theorem Proving Using Forward Chaining

Nevins, Arthur J. (2013-10-09)
Summary of MYCROFT: A System for Understanding Simple Picture Programs

Goldstein, Ira P. (2013-10-09)
A Relaxation Approach to Splitting in an Automatic Theorem Prover

Nevins, Arthur J. (2013-10-09)
Design Outline for Mini-Arms Based on Manipulator Technology

Flatau, Carl R. (2013-10-09)
A Mechanical Arm Control System

Waters, Richard C. (2013-10-09)
Proposal to ARPA for Research on Intelligent Automata and Micro-Automation

Winston, P.; Horn, B.K.P.; Sussman, G.J. (2013-10-09)
On Lightness

Horn, Berthold K.P. (2013-10-09)
Uses of Technology to Enhance Education

Papert, Seymour (2013-10-09)
Paterson's Worm

Beeler, Michael (2013-10-09)
U.T.: Telnet Reference Manual

Eastlake, Donald E. (2013-10-09)
Manipulator Design Vignettes

Minsky, Marvin (2013-10-09)
A Concrete Approach to Abstract Recursive Definitions

Wand, Mitchell (2013-10-09)
PEEK

Eastlake, Donald E. (2013-10-09)
PEEK

Eastlake, Donald E. (2013-10-09)

Now showing items 1001-1020 of 5627

Search DSpace