%0 Conference Paper %1 conf/ijcai/FikesN71 %A Fikes, Richard %A Nilsson, Nils J. %B IJCAI %D 1971 %E Cooper, D. C. %I William Kaufmann %K dblp %P 608-620 %T STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai71.html#FikesN71 %@ 0-934613-34-6

@inproceedings{conf/ijcai/FikesN71, added-at = {2019-08-20T00:00:00.000+0200}, author = {Fikes, Richard and Nilsson, Nils J.}, biburl = {https://www.bibsonomy.org/bibtex/2743d7564254825fb6ed3fb192e922704/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/1971}, editor = {Cooper, D. C.}, ee = {http://ijcai.org/Proceedings/71/Papers/055.pdf}, interhash = {e2ac2a2b100c680a77c9241e5d6a9c4f}, intrahash = {743d7564254825fb6ed3fb192e922704}, isbn = {0-934613-34-6}, keywords = {dblp}, pages = {608-620}, publisher = {William Kaufmann}, timestamp = {2019-08-21T11:55:49.000+0200}, title = {STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai71.html#FikesN71}, year = 1971 }