Computational Aspects of an Order-Sorted Logic With Term Declarations (Lecture Notes in Artificial Intelligence 395) - Softcover

 
9780387517056: Computational Aspects of an Order-Sorted Logic With Term Declarations (Lecture Notes in Artificial Intelligence 395)
Softcover
ISBN 10: 0387517057 ISBN 13: 9780387517056
Publisher: Springer, 2008
Publisher
Springer
Publication date
2008
Language
English
ISBN 10 
0387517057
ISBN 13 
9780387517056
Binding
Paperback
Number of pages
568
Editor
Ceelen Wim P.

Other Popular Editions of the Same Title

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

Featured Edition

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