DBLP:journals/jar/Patel-Schneider90

From Tetherless World Wiki

Jump to: navigation, search
A Decidable First-Order Logic for Knowldge Representation +  Has identifier
DBLP:journals/jar/Patel-Schneider90 

 

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