Search

Start over Topic Computer science
56 Talk at DEC
56 Talk at DEC
A Basis for a Mathematical Theory of Computation
A deductive approach to program synthesis
A heuristic approach to program verification
A hypothetical dialogue exhibiting a knowledge base for a program-understanding system
A new approach to recursive programs
A Symposium to Honor Mina Rees, AAAS 1982 Annual Convention
Advanced Architecture Meeting - Delagi
Advanced Architecture Meeting. Part 1
Advanced Architecture Meeting. Part 2
Advanced Architecture Project - Penny. Part 1
Advanced Architecture Project - Penny. Part 2
Adverbs and belief
Aesthetics systems
AL users' manual
Alan Kay. Part 1
Alan Kay. Part 2
Alan Kay. Part 3
Missing
An artificial intelligence approach to machine translation
An overview of KRL, a Knowledge Representation Language
ARPA Contractors Meeting - February, 1974 - 1973 ARPA Project Summary - Department Computer Science, Stanford University
ARPA Contractors Meeting: San Diego, March 12-14, 1975. - STANFORD ARTIFICIAL INTELLIGENCE LABORATORY 1974 ARPA Project Summary
Artificial Intelligence 1973 - The Present Scientific Situation in Artificial Intelligence, Handwritten notes and "AI"
Artificial Intelligence and the Stanford A.I. Lab
Missing
Automatic program verification V: verification-oriented proof rules for arrays, records and pointers
Automatic programming
Axiomatic approach to total correctness of programs
BAIL: a debugger for SAIL
BAOBAB, a parser for a rule-based system using a semantic grammar
Bob Flast
Bob Flast. Parts 1-2
Bob Flast. Parts 3-4
Bruce Johnson
Bruce Johnson. Parts 2-4
Missing
Checking proofs in the metamathematics of first order logic
Chuck Williams, Inference Corppration, HPN interview
Computer Chronicles - AI, MacNeil-Lehrer/5th Generation
Computer Revolution: From Numbers to Symbols
Computer Science symposium. Part 1
Computer Science symposium. Part 2
Computer Science symposium. Part 3
Copies of: "The Computer and the Brain" John von Neumann "Production Systems: Models of Control Structures" A. Newell "The Role of Raw Power in Intelligence" H. Moravec, 1976 "KRS - Chap. 1 (draft)" Brian Smith, 1977 Course Description, CS 365 - Seminar in Computational Linguistics, Spr 1977. Winograd "Sentence Perception as an Interactive Parallel Process" William Marslen-Wilson, July 1975 "Lambda: The Ultimate Declarative" G.L. Steele Jr. 1976 "Lambda: The Ultimate Imperative" G.L. Steele Jr. and G.J. Sussman 1976 "In Defence of Logic (draft)" P.J. Hayes "Reasoning about knowledge and action" R. Moore. "The Semantic Conception of Truth" A. Tarski "The Representation of Semantic Knowledge" G. Hendrix "A Formalism for Modelling" H. Levesque et al. "A Theory of English Grammar" B. Martin, 19 76 "Some Philosophical Problems from the Standpoint of Artificial Intelligence" J. McCarthy and P.J. Hayes
Copies of: "The Computer and the Brain" John von Neumann "Production Systems: Models of Control Structures" A. Newell "The Role of Raw Power in Intelligence" H. Moravec, 1976 "KRS - Chap. 1 (draft)" Brian Smith, 1977 Course Description, CS 365 - Seminar in Computational Linguistics, Spr 1977. Winograd "Sentence Perception as an Interactive Parallel Process" William Marslen-Wilson, July 1975 "Lambda: The Ultimate Declarative" G.L. Steele Jr. 1976 "Lambda: The Ultimate Imperative" G.L. Steele Jr. and G.J. Sussman 1976 "In Defence of Logic (draft)" P.J. Hayes "Reasoning about knowledge and action" R. Moore. "The Semantic Conception of Truth" A. Tarski "The Representation of Semantic Knowledge" G. Hendrix "A Formalism for Modelling" H. Levesque et al. "A Theory of English Grammar" B. Martin, 19 76 "Some Philosophical Problems from the Standpoint of Artificial Intelligence" J. McCarthy and P.J. Hayes
Copies of: "The Computer and the Brain" John von Neumann "Production Systems: Models of Control Structures" A. Newell "The Role of Raw Power in Intelligence" H. Moravec, 1976 "KRS - Chap. 1 (draft)" Brian Smith, 1977 Course Description, CS 365 - Seminar in Computational Linguistics, Spr 1977. Winograd "Sentence Perception as an Interactive Parallel Process" William Marslen-Wilson, July 1975 "Lambda: The Ultimate Declarative" G.L. Steele Jr. 1976 "Lambda: The Ultimate Imperative" G.L. Steele Jr. and G.J. Sussman 1976 "In Defence of Logic (draft)" P.J. Hayes "Reasoning about knowledge and action" R. Moore. "The Semantic Conception of Truth" A. Tarski "The Representation of Semantic Knowledge" G. Hendrix "A Formalism for Modelling" H. Levesque et al. "A Theory of English Grammar" B. Martin, 19 76 "Some Philosophical Problems from the Standpoint of Artificial Intelligence" J. McCarthy and P.J. Hayes