Link on this page

<Books>
Computational aspects of an order-sorted logic with term declarations / M. Schmidt-Schauß
(Lecture notes in computer science ; 395 . Lecture notes in artificial intelligence)

Publisher Berlin ; Tokyo : Springer-Verlag
Year c1989
Codes ID=2000318882 NCID=BA07485397
Online Material https://jg8gn6xr5x.search.serialssolutions.com/?isbn=3540517057

Show details.

Language English
Size viii, 171 p. ; 25 cm
Other titles Order-sorted logic with term declarations
Notes Includes bibliographical references
Authors *Schmidt-Schauß, M. (Manfred)
Subjects LCSH:Logic, Symbolic and mathematical
LCSH:Sorting (Electronic computers)
Classification LCC:QA9
DC20:511.3
Vol : gw ; ISBN:3540517057
: us ; ISBN:0387517057

Hide book details.

Cent.Lib.,Closed Stacks ,Books(European Lang.) : Germany 001.6/L497 8270005176
3540517057 1989

 Similar Items