Computational aspects of an order-sorted logic with term declarations
By: M. Schmidt-Schauss.
Series: Lecture notes in computer science ;; 395.; Lecture notes in artificial intelligence; Lecture notes in computer science ;; 395.; Lecture notes in computer science.
Publisher: Springer-Verlag
Published: 1989
Place of publication: Berlin; New York
Language: eng
Number of pages: 171
Subjects: Logic, Symbolic and mathematical.; Sorting (Electronic computers)
Other titles: Order-sorted logic with term declarations.
Notes: Includes bibliographical references.