autore : Nilsson
1
pubblicazione
STRIPS: A new approach to the application of theorem proving to problem solving (1971) — Richard E. Fikes, Nils J. Nilsson STRIPS: A new approach to the application of theorem proving to problem solving (1971) — Richard E. Fikes, Nils J. Nilsson