Schmidt-SchauB, M.
Computational Aspects of an Order-Sorted Logic with Term Declarations - Berlin Springer-Verlag 1989 - 171 - Lecture notes in artificial intelligence ; 00395 .
3540517057
Computational Aspects
Logic
Term Declarations
681 LNCS
Computational Aspects of an Order-Sorted Logic with Term Declarations - Berlin Springer-Verlag 1989 - 171 - Lecture notes in artificial intelligence ; 00395 .
3540517057
Computational Aspects
Logic
Term Declarations
681 LNCS