TY - BOOK AU - Nilsson J Nils AU - Nilsson J Nils TI - Principles of Artificial Intelligence U1 - 006.3 NIL-P PY - 2004/// KW - Principles of Artificial Intelligence,Nilsson J Nils PRODUCTION SYSTEM AND AI, SEARCH STRATEGIES FOR PRODUCTION SYSTEM , SEARCH STRATEGIES FOR DECOMPOSABLE PRODUCTION SYSTEM , THE PREDICATE CALCULUS IN AI, RESOLUTION REFUTATION REFUTATION SYSTEMS, RULE ER -