Topic: Artificial intelligence / Date Range: <span class="from" data-blrl-begin="1972">1972</span> to <span class="to" data-blrl-end="1973">1973</span> - The History of Artificial Intelligence - Spotlight at Stanford Search Results

Start over Topic Artificial intelligence Date Range 1972 to 1973

1. A Conceptually Based Sentence Paraphraser. AIM-196

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

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

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

5. Aesthetics Systems. AIM-189

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

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

8. Artificial Intelligence 1973 - The Present Scientific Situation in Artificial Intelligence, Handwritten notes and "AI"

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

« Previous
Next »
1
2
3
4
5
…
71
72