- Title:
- Problems in the Theory of Computation. AIM-028
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Collector:
- McCarthy, John, 1927-2011
- Description:
-
The purpose of this paper is to identify and discuss a number of
theoretical problems whose solutions seem feasible and likely to
advance the practical art of computation. The problems that will be
discussed include the following:
1. Semantics of programming languages. What do the strings of
symbols representing computer programs, statements, declarations,
labels, etc., denote? How can the semantics of programming
languages be described formally?
2. Data spaces. What are the spaces of data on which computer
programs act and how are they built up up from simpler spaces?
3. How can time dependent and simultaneous processes be described?
4. Speed of computation. What can be said about how much
computation is required to carry out certain processes?
5. Storage of information. How can information be stored so that
items identical or similar to a given item can be retrieved?
6. Syntax directed computation. What is the appropriate domain for
computations described by productions or other data format
recognizers?
7. What are the appropriate formalisms for writing
proofs that computer programs are equivalent?
8. In the view of Godel's theorem that tells us that any formal
theory of computation must be incomplete, what is a reasonable
formal system that will enable us to prove that programs terminate
in practical cases?
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- Stanford (Calif.) and cau
- Date:
- March 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), March 1965
- Genre:
- memorandums
- Identifier:
- AIM-028
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
Number of results to display per page
Search Results
- Title:
- PROPOSAL FOR EXPANSION OF THE STANFORD ARTIFICIAL INTELLIGENCE PROJECT
- Author:
- McCarthy, John, 1927-2011 and Feigenbaum, Edward A.
- Author (no Collectors):
- McCarthy, John, 1927-2011 and Feigenbaum, Edward A.
- Topic:
- Artificial intelligence, Expert systems (Computer science), and Computer science
- Language:
- English
- Physical Description:
- 1 document
- Date:
- March 1965
- Imprint:
- March 1965
- Genre:
- Proposal
- Series:
- 1986-052
- Box:
- 3
- Folder:
- 26
- Folder Name:
- ARPA Proposal 1965
- Identifier:
- SC0340_1986-052_pr239fw3222
- Location:
- Call Number: SC0340, Accession: 1986-052, Box: 3, Folder: 26
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Donor tags:
- EPAM-maybe
- Notes:
- Proposal (1965/03/01)
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Simple Simon. AIM-035
- Author:
- Safier, Fred
- Author (no Collectors):
- Safier, Fred
- Collector:
- Safier, Fred
- Description:
-
SIMPLE SIMON is a program which solves the problem of finding an
object satisfying a predicate from a list of facts. It operates by
backward chaining. The rules of procedure and heuristics are
discussed and the structure of the program is outlined.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- Stanford (Calif.) and cau
- Date:
- June 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), June 1965
- Genre:
- memorandums
- Identifier:
- AIM-035
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
52. Stanford Time-Sharing Project Memo : A Brief Description of The SDC Time-Sharing System. Memo 33
- Title:
- Stanford Time-Sharing Project Memo : A Brief Description of The SDC Time-Sharing System. Memo 33
- Author:
- Waterman, D. A.
- Author (no Collectors):
- Waterman, D. A.
- Topic:
- Time-sharing computer systems
- Subject:
- Stanford University. Computer Science Department
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- March 29, 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), March 29, 1965
- Genre:
- memorandums
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC0524
- Title:
- Stanford Time-Sharing Project Memo : An Outline of the Mac Time-Sharing System. Memo 27
- Author:
- Pyle, I. C.
- Author (no Collectors):
- Pyle, I. C.
- Topic:
- Time-sharing computer systems
- Subject:
- Stanford University. Computer Science Department
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- February 03, 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), February 3, 1965
- Genre:
- memorandums
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC0524
- Title:
- Stanford Time-Sharing Project Memo : Commands for Bifrost Under Odin. Memo 29
- Author:
- Breed, L.
- Author (no Collectors):
- Breed, L.
- Topic:
- Time-sharing computer systems
- Subject:
- Stanford University. Computer Science Department
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- February 08, 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), February 8, 1965
- Genre:
- memorandums
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC0524
- Title:
- Stanford Time-Sharing Project Memo : Leo III Time Sharing. Memo 31
- Author:
- Lennie, John
- Author (no Collectors):
- Lennie, John
- Topic:
- Time-sharing computer systems
- Subject:
- Stanford University. Computer Science Department
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- March 12, 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), March 12, 1965
- Genre:
- memorandums
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC0524
- Title:
- Stanford Time-Sharing Project Memo : Outline of the Time Sharing System at Cernegie Institute of Technology, Pittsburgh. Memo 30
- Author:
- Pyle, I. C.
- Author (no Collectors):
- Pyle, I. C.
- Topic:
- Time-sharing computer systems
- Subject:
- Stanford University. Computer Science Department
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- March 11, 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), March 11, 1965
- Genre:
- memorandums
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC0524
57. Stanford Time-Sharing Project Memo : Preliminary Specifications New Time-Sharing System. Memo 28
- Title:
- Stanford Time-Sharing Project Memo : Preliminary Specifications New Time-Sharing System. Memo 28
- Author:
- Brian, Dow
- Author (no Collectors):
- Brian, Dow
- Topic:
- Time-sharing computer systems
- Subject:
- Stanford University. Computer Science Department
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- February 04, 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), February 4, 1965
- Genre:
- memorandums
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC0524
- Title:
- Stanford Time-Sharing Project Memo : RAID (alias TVDDT). Memo 37
- Author:
- Stygar, Paul
- Author (no Collectors):
- Stygar, Paul
- Topic:
- Time-sharing computer systems
- Subject:
- Stanford University. Computer Science Department
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- November 02, 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), November 2, 1965
- Genre:
- memorandums
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC0524
- Title:
- Stanford Time-Sharing Project Memo : The Post System. Memo 34
- Author:
- Abrams, P. and Breed, L.
- Author (no Collectors):
- Abrams, P. and Breed, L.
- Topic:
- Time-sharing computer systems
- Subject:
- Stanford University. Computer Science Department
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- April 13, 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), April 13, 1965
- Genre:
- memorandums
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC0524
- Title:
- Stanford Time-Sharing Project Memo : The Scope Text Editor. Memo 26
- Author:
- Feldman, Gary
- Author (no Collectors):
- Feldman, Gary
- Topic:
- Time-sharing computer systems
- Subject:
- Stanford University. Computer Science Department
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- January 28, 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), January 28, 1965
- Genre:
- memorandums
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC0524
- Title:
- Stanford Time-Sharing Project Memo : TVEDIT. Memo 32
- Author:
- Tolliver, Brian
- Author (no Collectors):
- Tolliver, Brian
- Topic:
- Time-sharing computer systems
- Subject:
- Stanford University. Computer Science Department
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- cau and Stanford (Calif.)
- Date:
- March 01, 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), March 1, 1965
- Genre:
- memorandums
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC0524
- Title:
- The 138 Analog Digital Converter. AIM-032
- Author:
- Ratchford, Harry
- Author (no Collectors):
- Ratchford, Harry
- Collector:
- Ratchford, Harry
- Description:
-
A discussion of the programming and hardware characteristics of the
analog to digital converter on the PDP-1 is given; several sample
programs are also presented.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- Stanford (Calif.) and cau
- Date:
- May 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), May 1965
- Genre:
- memorandums
- Identifier:
- AIM-032
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- The Advice Taker and GPS. AIM-033
- Author:
- Huberman, Barbara
- Author (no Collectors):
- Huberman, Barbara
- Collector:
- Huberman, Barbara
- Description:
-
Using the formalism of the Newell-Shaw-Simon General Problem Solver
to solve problems expressed in McCarthy's Advice Taker formalism is
discussed. Some revisions of the formalism of and
described in AI Memo 2 are proposed.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- Stanford (Calif.) and cau
- Date:
- June 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), June 1965
- Genre:
- memorandums
- Identifier:
- AIM-033
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Time-Sharing Project Working Papers - Report on the 1964 Fall Joint Programming Race
- Author:
- McCarthy, John, 1927-2011
- Author (no Collectors):
- McCarthy, John, 1927-2011
- Topic:
- Artificial intelligence, Expert systems (Computer science), and Computer science
- Language:
- English
- Physical Description:
- 1 document ; 6 pages
- Date:
- January 27, 1965
- Imprint:
- January 27, 1965
- Genre:
- Report
- Series:
- 1986-052
- Box:
- 46
- Folder:
- 16
- Folder Name:
- Time-Sharing Project Working Papers
- Identifier:
- SC0340_1986-052_ff887ws8425
- Location:
- Call Number: SC0340, Accession: 1986-052, Box: 46, Folder: 16
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Notes:
- Report; Research Overview (1965/1/27); p. 6
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Utilization of a TV Camera on the PDP-1. AIM-036
- Author:
- Painter, James
- Author (no Collectors):
- Painter, James
- Collector:
- Painter, James
- Description:
-
A description of the programming required to utilize the TV camera
connected to the PDP-1 and of the initial collection of programs.
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- Stanford (Calif.) and cau
- Date:
- September 1965
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), September 1965
- Genre:
- memorandums
- Identifier:
- AIM-036
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041
- Title:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Corporate Author:
- Stanford Artificial Intelligence Laboratory
- Description:
- The materials consist of SAIL Dump And Restore Technique (DART) backup files, 1972-1990; digital copies of 16 mm films created from 1963-1980; handbooks; log books; manuals; and photographs and videos from the 35th SAIL reunion held in 2009.
- Topic:
- Artificial intelligence
- Language:
- English
- Physical Description:
- 44.1 gigabytes; 40.75 linear feet
- Publication Info:
- cau
- Date:
- 1963-2009
- Imprint:
- California, 1963 - 2009
- Title:
- Photographs
- Corporate Author:
- Stanford Artificial Intelligence Laboratory.
- Description:
- Photographs of the Stanford Artificial Intelligence Laboratory.
- Topic:
- Stanford Artificial Intelligence Laboratory, Artificial intelligence, and Photographs
- Date:
- 1961-1979
- Imprint:
- 1961 - 1979
- Genre:
- Image
- Collection:
- Stanford Artificial Intelligence Laboratory Records
- Title:
- John McCarthy papers, 1951-2008
- Author:
- McCarthy, John, 1927-2011
- Description:
- Correspondence, memos, reports, course materials, newsletters, articles, reprints, computer manuals, and other materials pertaining to McCarthy's research and his teaching at Stanford and MIT. Correspondents include Forest Baskett, Donald Knuth, Serge Lang, Joshua Lederberg, Douglas Lenat, Donald Michie, Hans Moravec, Zohar Manna, Aaron Sloman, and Masahiko Sato. Also included are correspondence, reprints, programs, notes, and articles from his work with Russian computer scientists, 1958-78.
- Topic:
- Faculty, Artificial intelligence, Computer programming, and LISP (Computer program language)
- Subject:
- Baskett, Forest, Knuth, Donald Ervin, 1938-, Lang, Serge, 1927-2005, Lederberg, Joshua, Lenat, Douglas B, Michie, Donald, Moravec, Hans P, Manna, Zohar, Sloman, Aaron, Sato, Masahiko, 1947-, and Stanford University., Computer Science Department
- Language:
- English
- Physical Description:
- 45 linear feet and 5 gigabtyes
- Publication Info:
- cau
- Date:
- 1951-2008
- Imprint:
- California, 1951 - 2008
- Title:
- Alan Kay. Part 1
- Author:
- Kay, Alan Curtis, 1940-
- Author (no Collectors):
- Kay, Alan Curtis, 1940-
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_20
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Alan Kay. Part 2
- Author:
- Kay, Alan Curtis, 1940-
- Author (no Collectors):
- Kay, Alan Curtis, 1940-
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_21
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Alan Kay. Part 3
- Author:
- Kay, Alan Curtis, 1940-
- Author (no Collectors):
- Kay, Alan Curtis, 1940-
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_22
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Albert Yu
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science, Expert systems (Computer science), and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Identifier:
- SC340_albert_yu
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Bob Flast
- Author:
- Flast, Bob
- Author (no Collectors):
- Flast, Bob
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_11
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Bob Flast. Parts 1-2
- Author:
- Flast, Bob
- Author (no Collectors):
- Flast, Bob
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_09
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Bob Flast. Parts 3-4
- Author:
- Flast, Bob
- Author (no Collectors):
- Flast, Bob
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_10
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Bruce Johnson
- Author:
- Johnson, Bruce (Bruce M.)
- Author (no Collectors):
- Johnson, Bruce (Bruce M.)
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_07
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Bruce Johnson. Parts 2-4
- Author:
- Johnson, Bruce (Bruce M.)
- Author (no Collectors):
- Johnson, Bruce (Bruce M.)
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_08
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Chuck Williams, Inference Corppration, HPN interview
- Author:
- Williams, Chuck, 1959-
- Author (no Collectors):
- Williams, Chuck, 1959-
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- interviews
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_24
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--Avron Barr. Part 1
- Author:
- Barr, Avron, 1949-
- Author (no Collectors):
- Barr, Avron, 1949-
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_44
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--Avron Barr. Part 2
- Author:
- Barr, Avron, 1949-
- Author (no Collectors):
- Barr, Avron, 1949-
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_45
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--Ed Mahler
- Author:
- Mahler, Ed
- Author (no Collectors):
- Mahler, Ed
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_36
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--Ed Mahler
- Author:
- Mahler, Ed
- Author (no Collectors):
- Mahler, Ed
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_38
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--John Shock
- Author:
- Shock, John
- Author (no Collectors):
- Shock, John
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_31
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--Karl Wiig. Part 1
- Author:
- Wiig, Karl M.
- Author (no Collectors):
- Wiig, Karl M.
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_46
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--Paul Harmon. Part 1
- Author:
- Harmon, Paul, 1942-
- Author (no Collectors):
- Harmon, Paul, 1942-
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_39
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--Paul Harmon. Part 2
- Author:
- Harmon, Paul, 1942-
- Author (no Collectors):
- Harmon, Paul, 1942-
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_40
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--Peter Hart
- Author:
- Hart, Peter E. (Peter Elliot), 1941-
- Author (no Collectors):
- Hart, Peter E. (Peter Elliot), 1941-
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_35
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--Peter Hart (Short)
- Author:
- Hart, Peter E. (Peter Elliot), 1941-
- Author (no Collectors):
- Hart, Peter E. (Peter Elliot), 1941-
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_34
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--Rick Hayes Roth. Part 1
- Author:
- Hayes-Roth, Frederick
- Author (no Collectors):
- Hayes-Roth, Frederick
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_32
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- CS226 Expert Systems Applications--Rick Hayes Roth. Part 2
- Author:
- Hayes-Roth, Frederick
- Author (no Collectors):
- Hayes-Roth, Frederick
- Corporate Author:
- Stanford University. Computer Science Department
- Description:
- Expert Systems are the most important of the applications of Artificial Intelligence in the commercial and defense sectors. Topics: the rapid transition of the Expert System technology from laboratories to societal use; what is in an Expert System; what is Knowledge Engineering. Case studies of commercial application in: diagnosis and repair; interpretation of data; manufacturing planning and control; financial services; engineering design, etc. The sources of benefit from Expert Systems. The magnitude of these benefits. What an organization needs to do to realize the benefits. A "what" rather than a "how to build systems" orientation aimed for a broad interdisciplinary audience
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 audio cassette
- Publication Info:
- Stanford (Calif.)
- Date:
- [ca. 1950-2007]
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), [ca. 1950 - 2007]
- Genre:
- lectures
- Series:
- 2005-071
- Box:
- 72
- Identifier:
- SC0340_2005-101_b72_33
- Location:
- SC0340, Accession 2005-071, Box 72
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- FMC. Part 1
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_15
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- FMC. Part 2
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_16
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- FMC. Part 3
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_17
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Fujitsu and ICOT I
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 audio cassette
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- speeches
- Series:
- 1991-030
- Box:
- 3
- Identifier:
- SC0340_1991-030_b03_18
- Location:
- SC0340, Accession 1991-030, Box 3
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Heuristic Programming Project
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science and Artificial intelligence
- Language:
- English
- Physical Description:
- 1 Betamax tape
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- Video recordings
- Series:
- 1991-030
- Box:
- 2
- Identifier:
- SC0340_1991-030_b02_04
- Location:
- SC0340, Accession 1991-030, Box 2
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- Title:
- Introduction to Teknowledge
- Author:
- Feigenbaum, Edward A.
- Author (no Collectors):
- Feigenbaum, Edward A.
- Topic:
- Computer science, Artificial intelligence, and Expert systems (Computer science)
- Language:
- English
- Physical Description:
- 1 VHS tape
- Date:
- [ca. 1950-2007]
- Imprint:
- [ca. 1950 - 2007]
- Genre:
- Video recordings
- Series:
- 2005-071
- Box:
- 73
- Identifier:
- SC0340_2005-101_b73_26
- Location:
- SC0340, Accession 2005-071, Box 73
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Edward A. Feigenbaum papers, 1950-2007 (inclusive)
- « Previous
- Next »
- 1
- 2
- 3