BibTeX record conf/micai/Saez05

• > Home > conf/micai/Saez05

@inproceedings{DBLP:conf/micai/Saez05,
  author       = {Pablo S{\'{a}}ez},
  editor       = {Alexander F. Gelbukh and
                  Alvaro de Albornoz and
                  Hugo Terashima{-}Mar{\'{\i}}n},
  title        = {Deductive Systems' Representation and an Incompleteness Result in
                  the Situation Calculus},
  booktitle    = {{MICAI} 2005: Advances in Artificial Intelligence, 4th Mexican International
                  Conference on Artificial Intelligence, Monterrey, Mexico, November
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3789},
  pages        = {119--131},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11579427\_13},
  doi          = {10.1007/11579427\_13},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/micai/Saez05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}