dblp.uni-trier.de www.uni-trier.de

3. IJCAI 1973: Standford, California, USA

Nilsson, N. J.: Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, CA, August 1973. William Kaufmann, 1973

Theory of Heuristic Search

Theorem Proving and Logic I

Applications and Implementations of AI

Theorem Proving and Logic II

Natural Language: Speech

Formalisms for AI

Natural Language: Systems

Robot Implementations

Natural Language: Semantics and Parsing

Robot Problem Solving

Psychology and AI

Automatic Programming

Computer Vision

General Problem Solving

Perception for Robots

Hardware and Software for AI

Copyright © Mon Nov 2 20:50:07 2009 by Michael Ley (ley@uni-trier.de)