Computational Aspects of an Order-Sorted Logic With Term Declarations (Lecture Notes in Computer Science) - Softcover

Schmidt-Schauss, M.

 
9780387517056: Computational Aspects of an Order-Sorted Logic With Term Declarations (Lecture Notes in Computer Science)

Synopsis

No Computational Aspects of an Order-Sorted Logic with Term Declarations Read a customer review or write one .

"synopsis" may belong to another edition of this title.

Other Popular Editions of the Same Title

9783540517054: Computational Aspects of an Order-Sorted Logic with Term Declarations: 395 (Lecture Notes in Computer Science, 395)

Featured Edition

ISBN 10:  3540517057 ISBN 13:  9783540517054
Publisher: Springer, 1989
Softcover