Machine Intelligence 7
–AI Classics/files/AI/classics/Machine_Intelligence_7/Machine Intelligence v7.pdf
B.RANDELL 3 PROGRAM PROOF AND MANIPULATION 2 Some techniques for proving correctness of programs which alter data structures.
inferential and heuristic search conclusion, university of newcastle upon tyne, university of wisconsin, (84 more...)
Jan-25-2015, 22:21:33 GMT
- Country:
- Asia (0.92)
- Europe > United Kingdom (0.67)
- North America > United States
- California (0.67)
- New Jersey (0.45)
- Genre:
- Instructional Material > Course Syllabus & Notes (0.45)
- Personal (1.00)
- Research Report > New Finding (0.67)
- Industry:
- Energy > Oil & Gas (1.00)
- Education (1.00)
- Health & Medicine > Therapeutic Area (0.67)
- Water & Waste Management > Solid Waste Management (0.92)
- Government
- Military (0.92)
- Regional Government
- >
- > > > > North America Government (0.92)
- North America Government > United States Government (0.67)
- >
- Law (1.00)
- Leisure & Entertainment
- Transportation > Ground
- Road (0.67)
- Materials > Chemicals (0.92)
- Technology:
- Information Technology
- Artificial Intelligence
- Cognitive Science > Problem Solving (1.01)
- History (1.00)
- Machine Learning > Pattern Recognition (0.67)
- Natural Language
- Grammars & Parsing (1.00)
- Text Processing (0.67)
- Representation & Reasoning
- Expert Systems (0.67)
- Logic & Formal Reasoning (1.01)
- Planning & Scheduling (1.00)
- Rule-Based Reasoning (0.67)
- Scientific Discovery (0.92)
- Search (1.01)
- Robots (1.01)
- Vision (1.00)
- Software > Programming Languages (1.20)
- Artificial Intelligence
- Information Technology