 |
 |
Area della Ricerca di Padova
|
ISBD
Normal View
ISBD View
Schmidt Schauss, M.
Computational aspects of an order-sorted logic with term declarations / M. Schmidt Schauss - Berlin : Springer Verlag, 1989 - VIII, 171 p. ; 24 cm. - Lecture notes in artificial intelligence ; 395 .
0387517057
Logic, Symbolic and mathematical
Sorting (Electronic computers)
Computational aspects of an order-sorted logic with term declarations / M. Schmidt Schauss - Berlin : Springer Verlag, 1989 - VIII, 171 p. ; 24 cm. - Lecture notes in artificial intelligence ; 395 .
0387517057
Logic, Symbolic and mathematical
Sorting (Electronic computers)
Important links here.
There are no comments for this item.
Log in to your account to post a comment.