Computational Aspects of an Order-Sorted Logic with Term Declarations


Find loads of the computational aspects of an order sorted logic with term declarations lecture notes in artificial intelligence vol 395 book catalogues in this site as the choice of you visiting this page. You can also join to the website book library that will show you numerous books from any types. Literature, science, politics, and many more catalogues… (More)
DOI: 10.1007/BFb0024065


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.