%0 Conference Paper %1 conf/sccc/Baier02 %A Baier, Jorge A. %B SCCC %D 2002 %I IEEE Computer Society %K dblp %P 33-42 %T On Procedure Recognition in the Situation Calculus. %U http://dblp.uni-trier.de/db/conf/sccc/sccc2002.html#Baier02 %@ 0-7695-1867-2

@inproceedings{conf/sccc/Baier02, added-at = {2023-03-23T00:00:00.000+0100}, author = {Baier, Jorge A.}, biburl = {https://www.bibsonomy.org/bibtex/2eab46dc9b68459095d3469730b82b029/dblp}, booktitle = {SCCC}, crossref = {conf/sccc/2002}, ee = {https://doi.ieeecomputersociety.org/10.1109/SCCC.2002.1173171}, interhash = {1a8ac7e6fadd4778f1fe74bb998d8d1e}, intrahash = {eab46dc9b68459095d3469730b82b029}, isbn = {0-7695-1867-2}, keywords = {dblp}, pages = {33-42}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:28:04.000+0200}, title = {On Procedure Recognition in the Situation Calculus.}, url = {http://dblp.uni-trier.de/db/conf/sccc/sccc2002.html#Baier02}, year = 2002 }