| 1 |
Foundations of logic programming / J.W. Lloyd
Berlin : Springer-Verlag , 1984
|
| 2 |
Computer aided design : fundamentals and system architectures / J. Encarnação, E.G. Schlechtendahl
Berlin : Springer-Verlag , 1983
|
| 3 |
The Design of interpreters, compilers, and editors for augmented transition networks / edited by Leonard Bolc
Berlin : Springer-Verlag , 1983
|
| 4 |
Computer graphics programming : GKS, the graphics standard / G. Enderle, K. Kansy, G. Pfaff
Berlin : Springer-Verlag , 1984
|
| 5 |
Computer graphics programming : GKS, the graphics standard / G. Enderle, K. Kansy, G. Pfaff
2nd rev. and enl. ed. - Berlin : Springer-Verlag , c1987
|
| 6 |
Three-dimensional computer vision / Yoshiaki Shirai
Berlin ; Tokyo : Springer-Verlag , c1987
|
| 7 |
Natural language parsing systems / edited by Leonard Bolc ; with contributions by J.G. Carbonell ... [et al.]
Berlin ; Tokyo : Springer-Verlag , c1987
|
| 8 |
A theory of heuristic information in game-tree search / Chun-Hung Tzeng
Berlin ; Tokyo : Springer-Verlag , c1988
|
| 9 |
Search in artificial intelligence / Laveen Kanal, Vipin Kumar, editors
New York ; Tokyo : Springer-Verlag , c1988
|
| 10 |
Prolog by example : how to learn, teach and use it / Helder Coelho, José C. Cotta
Berlin ; Tokyo : Springer-Verlag , c1988
|
| 11 |
Computer aided design : fundamentals and system architectures / José L. Encarnação, Rolf Lindner, Ernst G. Schlechtendahl
2nd., rev. and extended ed. - Berlin ; Tokyo : Springer-Verlag , c1990
|
| 12 |
Machine learning : an artificial intelligence approach / edited by R.S. Michalski, J.G. Carbonell, T.M. Mitchell ; with contributions by J. Anderson ... [et al.]
Berlin ; Tokyo : Springer-Verlag , 1984
|
| 13 |
Computational models of learning / edited by Leonard Bolc ; with contributions by G.L. Bradshaw ... [et al.]
Berlin ; Tokyo : Springer-Verlag , c1987
|
| 14 |
Programming languages for industrial robots / Christian Blume, Wilfried Jakob ; [translator, Klaus Selke]
Berlin ; Tokyo : Springer-Verlag , c1986
|
| 15 |
The Knowledge frontier : essays in the representation of knowledge / Nick Cercone, Gordon McCalla, editors
New York ; Tokyo : Springer-Verlag , c1987
|
| 16 |
REDUCE : software for algebraic computation / Gerhard Rayna ; with a preface by Anthony C. Hearn
New York ; Tokyo : Springer-Verlag , c1987
|
| 17 |
Natural language communication with pictorial information systems / edited by Leonard Bolc
Berlin ; Tokyo : Springer-Verlag , 1984
|
| 18 |
Expert system applications / L. Bolc, M.J. Coombs, eds. ; with contributions by C. Bock ... [et al.]
Berlin ; Tokyo : Springer-Verlag , c1988
|
| 19 |
User models in dialog systems / Alfred Kobsa, Wolfgang Wahlster (eds.) ; with contributions by S. Carberry ... [et al.]
Berlin ; Tokyo : Springer-Verlag , c1989
|
| 20 |
The Design of interpreters, compilers, and editors for augmented transition networks / edited by Leonard Bolc
Berlin ; Tokyo : Springer-Verlag , 1983
|
| 21 |
Principles of artificial intelligence / Nils J. Nilsson
Berlin : Springer-Verlag , 1982
|
| 22 |
Automation of reasoning. 1-2 / edited by Jörg Siekmann and Graham Wrightson
1,2. - Berlin : Springer-Verlag , 1983
|
| 23 |
Computers in chess : solving inexact search problems / M.M. Botvinnik ; translated by Arthur A. Brown
New York ; Tokyo : Springer-Verlag , c1984
|
| 24 |
Foundations of logic programming / J.W. Lloyd
2nd, extended ed. - Berlin ; Tokyo : Springer-Verlag , c1987
|
| 25 |
Catalogue of artificial intelligence techniques / Alan Bundy (ed.)
3rd, rev. ed. - Berlin ; Tokyo : Springer-Verlag , c1990
|
| 26 |
Natural language generation systems / David D. McDonald, Leonard Bolc, editors
New York ; Tokyo : Springer-Verlag , c1988
|
