ENGLISH

Computational Aspects of an Order-Sorted Logic with Term Declarations

By M. Schmidt-Schauß (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1989
ISBN
0387517057, 9780387517056, 3540517057, 9783540517054, 038751659X, 9780387516592, 354051659X, 9783540516590
DOI
10.1007/BFb0024065
Language
english
Format
PDF
Filesize
10 MB (10967973 bytes)
Series
Lecture Notes in Computer Science 395 : Lecture Notes in Artificial Intelligence
Edition
1
Pages
174\178
Library
usenet tech
Time added
2013-03-30 20:00:00
Artificial Intelligence (incl. Robotics); Mathemat

Similar books