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

Start over Topic Stanford Artificial Intelligence Laboratory Topic Artificial intelligence Date Range 1964 to 1965

A Formal System of Computation. AIM-025

A Proof-checker for Predicate Calculus. AIM-027

A Television Camera Interface for the PDP-1. AIM-034

A Tough nut for Proof Procedures. AIM-016

Axiomatization and Implementation. AIM-015

Documentation of the MacMahon Squares Problem. AIM-012