Date Range: <span class="single" data-blrl-single="1964">1964</span> - The History of Artificial Intelligence - Spotlight at Stanford Search Results

2. A Formal Description of a Subset of ALGOL. AIM-024

3. A Formal System of Computation. AIM-025

4. A Tough nut for Proof Procedures. AIM-016

5. An Expression Input Routine for LISP. AIM-018

6. Axiomatization and Implementation. AIM-015

7. Computer Control of a Machine for Exploring Mars. AIM-014

8. \doc\s\uuo\upd

9. Documentation of the MacMahon Squares Problem. AIM-012

10. Experiments on Automatic Speech Recognition by a Digital Computer. AIM-026

11. Formal Description of the Game of Pang-Ke. AIM-017

12. Kalah -- the Game and the Program. AIM-022

13. LISP 2 Specifications Proposal. AIM-021

« Previous
Next »
1
2
3
4
5
6
7