Publications of R. Fikes sorted by first author
F
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 ,