1. A COMPUTER PROGRAM WHICH ASSESSES THE CREDIBILITY OF ASSERTIONS

Physical Description:

1 document ; 63 pages

2. A Functional Specfication for a Programming Language for Computer Aided Learning Applications

Physical Description:

1 document ; 28 pages

Donor tags:

Computer Science and Programming Languages

3. A Theoretical Basis for Individualized Instruction

Physical Description:

1 document ; 120 pages

4. AFIPS Headquarters Newsletter

Physical Description:

1 document

Donor tags:

AFIPS and Information Processing

5. AFIPS Headquarters Newsletter

Physical Description:

1 document

Donor tags:

AFIPS and Information Processing

6. AFIPS Headquarters Newsletters

Physical Description:

1 document

Donor tags:

AFIPS and Information Processing

7. AN ALGORITHM FOR THE CONSTRUCTION OF THE GRAPHS OF ORGANIC MOLECULES

Physical Description:

1 document

8. An Axiomatic Theory of Subject Matter

Physical Description:

1 document ; 82 pages

9. ARI material - ARI Author Language Workshop: Memo from J. D. Fletcher to R. E. Hurlock

Physical Description:

1 document ; 2 pages

10. ARI material - Behaviorally Oriented Computer Languages and Instructional Strategies: Summary Progress Report to the Office of Naval Research

Physical Description:

1 document ; 32 pages

11. ARI material - From World Conference on Computer Education: Teaching and Learning Languages

Physical Description:

1 document ; 4 pages

12. ARI material - Printout

Physical Description:

1 document ; 8 pages

Donor tags:

Ephemera

13. ARI material - Proceedings-1968 ACM National Conference - Programming Conversational Use of Computers for Instruction

Physical Description:

1 document ; 8 pages

14. ARI material - REQUIREMENTS FOR EFFECTIVE AUTHORING SYSTEMS AND ASSISTANCE

Physical Description:

1 document ; 8 pages

15. ARI material - Software Characteristics of PLATO

Physical Description:

1 document ; 14 pages

16. ARI material - Spring Joint Computer Conference: Should the Computer Teach the Student, or Vice Versa?

Physical Description:

1 document ; 4 pages

17. ARI material - The Computer in Teaching - Ten Widely Believed Myths

Physical Description:

1 document ; 4 pages

18. ARI material - Theories and Strategies Related to Measurement in Individualized Insturction: A Report to the NSF by the Human Resources Research Organization

Physical Description:

1 document

19. ARI material - V.PROGRAMMING LANGUAGES

Physical Description:

1 document ; 8 pages

20. China Trip : 1977 arrangements for trip to PRC for Dantzig, Knuth and T.C. Hu (UCSD)

Physical Description:

1 document

21. China Trip : 1977 arrangements for trip to PRC for Dantzig, Knuth and T.C. Hu (UCSD)

Physical Description:

1 document

22. Cognitive Science Computer Facility - COGNET Interim Report: May 25, 1981

Physical Description:

1 document ; 22 pages

23. Cognitive Science Computer Facility - COGNET Newsletter Number Two

Physical Description:

1 document ; 19 pages

24. Cognitive Science Computer Facility - Letter from Richard B. Millward to Edward A. Feigenbaum

Physical Description:

1 document ; 2 pages

25. Cognitive Science Computer Facility - Letter to COGNET Planning Committee

Physical Description:

1 document

26. Cognitive Science Computer Facility - Schedule for the Third Annual Conference of the Cognitive Science Society

Physical Description:

1 document ; 4 pages

27. Columbia University IN THE CITY OF NEW YORK, Computer Science Convocation Program

Physical Description:

1 document ; 3 pages

28. comments on draft of Friedland, Peter, "Choosing Knowledge Representations for Expert Scientific Systems"

Physical Description:

1 document

29. COMMODE: A SUPPORT SYSTEM FOR A COMMODITIES EXPERT

Physical Description:

1 document

30. Computers and Thought II; Shaw. Biblio. Search 1973

Physical Description:

1 document

31. Computers and Thought II; Shaw. Biblio. Search 1973

Physical Description:

1 document

32. Computing at FERMILAB 1982

Physical Description:

1 document

33. Computing at FERMILAB 1982

Physical Description:

1 document

34. Computing at FERMILAB 1982

Physical Description:

1 document

35. Contract Correspondence

Physical Description:

1 document

36. Correspondence D 1968-71

Physical Description:

1 document

37. Correspondence over AERA Syposium Instruction for Computer Programming

Physical Description:

1 document

Donor tags:

Stanford Computer Science Department and Symposium

38. Creation of the AAAI - M - Announcement

Physical Description:

1 document ; 7 pages

Donor tags:

AAAI

39. Creation of the AAAI - M - Memo

Physical Description:

1 document ; 4 pages

Donor tags:

AAAI

40. CROMEMCO - Benchmark Report

Physical Description:

1 document ; 28 pages

41. CROMEMCO LISP

Physical Description:

1 document ; 6 pages

42. Current Information on Using the PDP-6

Physical Description:

1 document ; 3 pages

43. Current Information on Using the PDP-6

Physical Description:

1 document ; 5 pages

44. DART

Physical Description:

1 document

Donor tags:

Applications and Expert Systems

45. DART Proposal to IBM

Physical Description:

1 document

Donor tags:

Expert Systems

46. DENDRAL-related data

Physical Description:

1 document

Donor tags:

Chemistry, DENDRAL, Ephemera, Experiment, and Research

47. Distribution of Osborn/Feigenbaum NIH Proposal to AIM Executive Committee

Physical Description:

1 document ; 3 pages

48. EAF's Stanford stationary

Physical Description:

1 document