Search

2. A Conceptually Based Sentence Paraphraser. AIM-196

3. A Corner Finder for Visual Feedback. AIM-214

4. A Heuristic Approach to Program Verification. AIM-191

5. A Heuristic Program to Discover Syntheses for Complex Organic Molecules. AIM-205

6. Aesthetics Systems. AIM-189

7. Analysis of Behavior of Chemical Molecules : Rule Formation on Non-homogeneous Classes of Objects. AIM-215

8. Applications of Artificial Intelligence for Chemical Inference : XII. Exhaustive Generation of Cyclic and Acyclic Isomers. AIM-216

9. Automatic Program Verification I: Logical Basis and its Implementation. AIM-200

10. Axiomatic Approach to Total Correctness of Programs. AIM-210

11. Axioms and Theorems for Integers, Lists and Finite Sets in LCF. AIM-184

12. Carol by Andy Moorer, Stanford Artificial Intelligence Laboratory

13. Estimation of Probability Density using Signature Tables for Application to Pattern Recognition. AIM-198

14. Final Report : The First Ten Years of Artificial Intelligence Research at Stanford. AIM-228

15. Hints on Programming Language Design. AIM-224

16. Image Contouring and Comparing. AIM-199

17. Inference and the Computer Understanding of Natural Language. AIM-197

18. MLISP2. AIM-195

19. Monitor Command Manual. ON-54.3

20. Natural Language Inference. AIM-211

21. Notes on a Problem Involving Permutations as Sequences. AIM-190

22. On the Power of Programming Features. AIM-185

23. Parallel Programming: an Axiomatic Approach. AIM-219

24. Recognition of Continuous Speech: Segmentation and Classification using Signature Table Adaptation. AIM-213

25. SAIL Users Manual. AIM-204