Computational aspects of an order-sorted logic with term declaration /
Schmidt-Schaub, M.
Computational aspects of an order-sorted logic with term declaration / M. Schmidt-Schaub - Berlin : Springer-Verlag, 1989 - 171 p. : ill. ; 24 cm. - Lecture Notes in Artificial Intelligence 395 .
Includes bibliographical references
3540517057
Sorting (Electronic computers)
Computational aspects of an order-sorted logic with term declaration / M. Schmidt-Schaub - Berlin : Springer-Verlag, 1989 - 171 p. : ill. ; 24 cm. - Lecture Notes in Artificial Intelligence 395 .
Includes bibliographical references
3540517057
Sorting (Electronic computers)