Computational Aspects of an Order-Sorted Logic with Term Declarations [electronic resource] /
Foundations -- Various extensions -- Unification of uninterpreted sorted terms -- Unification of equationally interpreted sorted terms -- Sorted resolution-based calculi -- References.
Saved in:
Main Authors: | , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1989
|
Subjects: | Computer science., Mathematical logic., Artificial intelligence., Computer Science., Artificial Intelligence (incl. Robotics)., Mathematical Logic and Formal Languages., |
Online Access: | http://dx.doi.org/10.1007/BFb0024065 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Summary: | Foundations -- Various extensions -- Unification of uninterpreted sorted terms -- Unification of equationally interpreted sorted terms -- Sorted resolution-based calculi -- References. |
---|