Automated Reasoning About Metric and Topology

From Tetherless World Wiki

Jump to: navigation, search
 Automated Reasoning About Metric and Topology
Has publishing details  pp. 490-493, 2006
Has title  Automated Reasoning About Metric and Topology
Has where published  JELIA
Has year  2006
Has author  Ullrich Hustadt +, Dmitry Tishkovsky +, Frank Wolter +, Michael Zakharyaschev +
Has identifier  DBLP:conf/jelia/HustadtTWZ06 +
Categories  Proceeding Paper +

 

Enter the name of the page to start browsing from.
Retrieved from "http://tw.rpi.edu/wiki/Special:Browse"
Views
Personal tools