Computational Aspects of an Order-Sorted Logic with Term Declarations

Abstract

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

Topics

Cite this paper

@inproceedings{SchmidtSchau1988ComputationalAO, title={Computational Aspects of an Order-Sorted Logic with Term Declarations}, author={Manfred Schmidt-Schau\ss}, booktitle={Lecture Notes in Computer Science}, year={1988} }