%0 Conference Paper %1 conf/aaai/Liu02 %A Liu, Yongmei %B AAAI/IAAI %D 2002 %E Dechter, Rina %E Kearns, Michael J. %E Sutton, Richard S. %I AAAI Press / The MIT Press %K dblp %P 74-79 %T A Hoare-Style Proof System for Robot Programs. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2002.html#Liu02

@inproceedings{conf/aaai/Liu02, added-at = {2023-09-05T00:00:00.000+0200}, author = {Liu, Yongmei}, biburl = {https://www.bibsonomy.org/bibtex/210f7d330eb26e3df950b3ca221eb0277/dblp}, booktitle = {AAAI/IAAI}, crossref = {conf/aaai/2002}, editor = {Dechter, Rina and Kearns, Michael J. and Sutton, Richard S.}, ee = {http://www.aaai.org/Library/AAAI/2002/aaai02-012.php}, interhash = {2f2c78ee96a9d8614e263d3d3eae39ac}, intrahash = {10f7d330eb26e3df950b3ca221eb0277}, keywords = {dblp}, pages = {74-79}, publisher = {AAAI Press / The MIT Press}, timestamp = {2024-04-09T18:12:05.000+0200}, title = {A Hoare-Style Proof System for Robot Programs.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2002.html#Liu02}, year = 2002 }