%0 Conference Paper %1 conf/isaim/CookL02 %A Cook, Stephen A. %A Liu, Yongmei %B AI&M %D 2002 %K dblp %T A Complete Axiomatization for Blocks World. %U http://dblp.uni-trier.de/db/conf/isaim/isaim2002.html#CookL02

@inproceedings{conf/isaim/CookL02, added-at = {2022-02-08T00:00:00.000+0100}, author = {Cook, Stephen A. and Liu, Yongmei}, biburl = {https://www.bibsonomy.org/bibtex/218ceb42cc325955b61711ac6d779a4e9/dblp}, booktitle = {AI&M}, crossref = {conf/isaim/2002}, ee = {http://rutcor.rutgers.edu/~amai/aimath02/PAPERS/7.ps}, interhash = {7bf5044951b45cbb2dbf3bcfe4ea5a32}, intrahash = {18ceb42cc325955b61711ac6d779a4e9}, keywords = {dblp}, timestamp = {2024-04-10T20:17:43.000+0200}, title = {A Complete Axiomatization for Blocks World.}, url = {http://dblp.uni-trier.de/db/conf/isaim/isaim2002.html#CookL02}, year = 2002 }