Items related to Computational Aspects of an Order-Sorted Logic With...

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

Schmidt-Schauss, M.

 
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 Verlag, 2008
Publisher
Springer Verlag
Publication date
2008
Language
English
ISBN 10 
0387517057
ISBN 13 
9780387517056
Binding
Paperback
Number of pages
568