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: Sorting (Electronic computers); Symbolic and mathematical Logic
Other titles: Order-sorted logic with term declarations.
Notes: Includes bibliographical references.