Computational aspects of an order-sorted logic with term declarations
M. Schmidt-Schauss
Bok Engelsk 1989
Utgitt | Berlin : Springer-Verlag , c1989
|
---|---|
Omfang | VIII, 171 s.
|
Emner | |
ISBN | 0387517057. - 3540517057
|
Utgitt | Berlin : Springer-Verlag , c1989
|
---|---|
Omfang | VIII, 171 s.
|
Emner | |
ISBN | 0387517057. - 3540517057
|