Publications of R. Fikes sorted by title
S
STRIPS: a new approach to the application of theorem proving to problem solving (1971), in: Artificial Intelligence, 2(189--208) | and ,
STRIPS: a new approach to the application of theorem proving to problem solving (1971), in: Artificial Intelligence, 2(189--208) | and ,