Paper

A New Approach to the Application of Theorem Proving to Problem Solving" in Artificial Intelligence 2, Essex, UK:Elsevier Science Publishers Ltd

N. N. Fikes, R.E., "STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving" in Artificial Intelligence 2, Essex, UK:Elsevier Science Publishers Ltd., pp. 189-208, 1971.

1971

Created by ACM worker at 2019-04-09 16:23:42.0.