Computational aspects of an order-sorted logic with term declarations /

Bibliographic Details

Main Author:	Schmidt-Schauss, M. (Manfred)
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1989]
Series:	Lecture notes in computer science ; 395. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Logic, Symbolic and mathematical. Sorting (Electronic computers)