Automated Reasoning About Metric and Topology

Automated Reasoning About Metric and Topology. Hustadt, U., Tishkovsky, D., Wolter, F., & Zakharyaschev, M. In Fisher, M., van der Hoek, W., Konev, B., & Lisitsa, A., editors, Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings, volume 4160, of Lecture Notes in Computer Science, pages 490–493, 2006. Springer.

Paper doi bibtex

@inproceedings{DBLP:conf/jelia/HustadtTWZ06,
  author       = {Ullrich Hustadt and
                  Dmitry Tishkovsky and
                  Frank Wolter and
                  Michael Zakharyaschev},
  editor       = {Michael Fisher and
                  Wiebe van der Hoek and
                  Boris Konev and
                  Alexei Lisitsa},
  title        = {Automated Reasoning About Metric and Topology},
  booktitle    = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
                  2006, Liverpool, UK, September 13-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4160},
  pages        = {490--493},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11853886\_44},
  doi          = {10.1007/11853886\_44},
  timestamp    = {Sun, 06 Oct 2024 21:10:23 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/HustadtTWZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0

{"_id":"rpo7jjFDGdLJa7Giv","bibbaseid":"hustadt-tishkovsky-wolter-zakharyaschev-automatedreasoningaboutmetricandtopology-2006","author_short":["Hustadt, U.","Tishkovsky, D.","Wolter, F.","Zakharyaschev, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Dmitry"],"propositions":[],"lastnames":["Tishkovsky"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Wolter"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Zakharyaschev"],"suffixes":[]}],"editor":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]},{"firstnames":["Wiebe"],"propositions":["van","der"],"lastnames":["Hoek"],"suffixes":[]},{"firstnames":["Boris"],"propositions":[],"lastnames":["Konev"],"suffixes":[]},{"firstnames":["Alexei"],"propositions":[],"lastnames":["Lisitsa"],"suffixes":[]}],"title":"Automated Reasoning About Metric and Topology","booktitle":"Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings","series":"Lecture Notes in Computer Science","volume":"4160","pages":"490–493","publisher":"Springer","year":"2006","url":"https://doi.org/10.1007/11853886\\_44","doi":"10.1007/11853886_44","timestamp":"Sun, 06 Oct 2024 21:10:23 +0200","biburl":"https://dblp.org/rec/conf/jelia/HustadtTWZ06.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/jelia/HustadtTWZ06,\n author = {Ullrich Hustadt and\n Dmitry Tishkovsky and\n Frank Wolter and\n Michael Zakharyaschev},\n editor = {Michael Fisher and\n Wiebe van der Hoek and\n Boris Konev and\n Alexei Lisitsa},\n title = {Automated Reasoning About Metric and Topology},\n booktitle = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}\n 2006, Liverpool, UK, September 13-15, 2006, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {4160},\n pages = {490--493},\n publisher = {Springer},\n year = {2006},\n url = {https://doi.org/10.1007/11853886\\_44},\n doi = {10.1007/11853886\\_44},\n timestamp = {Sun, 06 Oct 2024 21:10:23 +0200},\n biburl = {https://dblp.org/rec/conf/jelia/HustadtTWZ06.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U.","Tishkovsky, D.","Wolter, F.","Zakharyaschev, M."],"editor_short":["Fisher, M.","van der Hoek, W.","Konev, B.","Lisitsa, A."],"key":"DBLP:conf/jelia/HustadtTWZ06","id":"DBLP:conf/jelia/HustadtTWZ06","bibbaseid":"hustadt-tishkovsky-wolter-zakharyaschev-automatedreasoningaboutmetricandtopology-2006","role":"author","urls":{"Paper":"https://doi.org/10.1007/11853886\\_44"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["automated","reasoning","metric","topology","hustadt","tishkovsky","wolter","zakharyaschev"],"title":"Automated Reasoning About Metric and Topology","year":2006}