Topic: Stanford Artificial Intelligence Laboratory / Date Range: <span class="from" data-blrl-begin="1972">1972</span> to <span class="to" data-blrl-end="1973">1973</span> - The History of Artificial Intelligence - Spotlight at Stanford Search Results

Start over Topic Stanford Artificial Intelligence Laboratory Date Range 1972 to 1973

Image Contouring and Comparing. AIM-199

Review of Hubert Dreyfus' 'What Computers Can't Do': a Critique of Artificial Reason. AIM-181

Efficient Compilation of Linear Recursive Programs. AIM-167

On the Power of Programming Features. AIM-185

Can Expert Judges, using Transcripts of Teletyped Psychiatric Interviews, Distinguish Human Paranoid Patients from a Computer Simulation of Paranoid
Processes?. AIM-182

The Computing Time of the Euclidean Algorithm. AIM-187

Automatic Programming. AIM-160

Total Complexity and Inference of Best Programs. AIM-159

UUO Manual. ON-55.3

A Conceptually Based Sentence Paraphraser. AIM-196

Monitor Command Manual. ON-54.3

Hints on Programming Language Design. AIM-224

Parallel Programming: an Axiomatic Approach. AIM-219

Automatic Program Verification I: Logical Basis and its Implementation. AIM-200

A Heuristic Approach to Program Verification. AIM-191

Logic for Computable Functions: Description of a Machine Implementation. AIM-169