Automated Reasoning About Metric and Topology (bibtex)

by Hustadt, Ullrich, Tishkovsky, Dmitry, Wolter, Frank and Zakharyaschev, Michael

Reference:

Automated Reasoning About Metric and Topology (Hustadt, Ullrich, Tishkovsky, Dmitry, Wolter, Frank and Zakharyaschev, Michael), Chapter in Logics in Artificial Intelligence (Fisher, Michael, van der Hoek, Wiebe, Konev, Boris, Lisitsa, Alexei, eds.), Springer Berlin / Heidelberg, volume 4160, 2006, 10.1007/11853886_44.

Bibtex Entry:

@incollection {springerlink:10.1007/11853886_44,
   author = {Hustadt, Ullrich and Tishkovsky, Dmitry and Wolter, Frank and Zakharyaschev, Michael},
   affiliation = {Department of Computer Science, University of Liverpool},
   title = {Automated Reasoning About Metric and Topology},
   booktitle = {Logics in Artificial Intelligence},
   series = {Lecture Notes in Computer Science},
   editor = {Fisher, Michael and van der Hoek, Wiebe and Konev, Boris and Lisitsa, Alexei},
   publisher = {Springer Berlin / Heidelberg},
   isbn = {},
   pages = {490-493},
   volume = {4160},
   doi = {http://dx.doi.org/10.1007/11853886_44},
   url = {http://www.springerlink.com/content/r53m562046wn3304/fulltext.pdf},
   note = {10.1007/11853886_44},
   year = {2006}
}