Reasoning with Concrete Domains

From Tetherless World Wiki

DBLP:conf/ijcai/Lutz99 +  redirect page Reasoning with Concrete Domains +  Has identifier

Reasoning with Concrete Domains

Has publishing details  pp. 90-95, 1999 Has title  Reasoning with Concrete Domains Has url  http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai99.html#Lutz99 Has where published  IJCAI Has year  1999 Has author  Carsten Lutz + Has identifier  Reasoning with Concrete Domains + Categories  Proceeding Paper +

 

Enter the name of the page to start browsing from.