1 |
Principles of artificial intelligence / Nils J. Nilsson
: (gr),: (us). - Berlin ; New York : Springer, 1982
|
2 |
. Automation of reasoning / edited by Jörg Siekmann and Graham Wrightson ; 1-2
Classical papers on computational logic
1957-1966,1967-1970. - Berlin ; New York : Springer-Verlag , 1983
|
3 |
Foundations of logic programming / J.W. Lloyd
U.S.,Berlin. - Berlin ; New York : Springer-Verlag , 1984
|
4 |
Artificial intelligence
Computational models of learning / edited by Leonard Bolc ; with contributions by G.L. Bradshaw ... [et al.]
: U.S.,: Germany. - Berlin ; Tokyo : Springer-Verlag , c1987
|
5 |
. Artificial intelligence
The Knowledge frontier : essays in the representation of knowledge / Nick Cercone, Gordon McCalla, editors
New York ; Tokyo : Springer-Verlag , c1987
|