| 1 |
. 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
|
| 2 |
. Artificial intelligence
Exploration and innovation in design : towards a computational model / D. Navinchandra ; foreword by John S. Gero
: us,: gw. - New York : Springer-Verlag , 1991
|
| 3 |
Computer graphics
Computer-aided design and manufacturing : methods and tools / edited by U. Rembold and R. Dillmann
U.S.,Berlin. - 2nd rev. and enl. ed. - Berlin ; Tokyo : Springer-Verlag , c1986
|
| 4 |
. Artificial intelligence
A theory of heuristic information in game-tree search / Chun-Hung Tzeng
: us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1988
|
| 5 |
. Artificial intelligence
Foundations of logic programming / J.W. Lloyd
: us,: gw. - 2nd, extended ed. - Berlin ; Tokyo : Springer-Verlag , c1987
|
| 6 |
. Artificial intelligence
An introduction to default logic / Philippe Besnard
: us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1989
|
| 7 |
. Artificial intelligence
Logic grammars / Harvey Abramson, Veronica Dahl
: New York,: Berlin. - New York ; Tokyo : Springer-Verlag , c1989
|
| 8 |
. Artificial intelligence
Natural language generation systems / David D. McDonald, Leonard Bolc, editors
: us,: gw. - New York ; Tokyo : Springer-Verlag , c1988
|
| 9 |
. Artificial intelligence
User models in dialog systems / Alfred Kobsa, Wolfgang Wahlster (eds.) ; with contributions by S. Carberry ... [et al.]
: us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1989
|
| 10 |
. Artificial intelligence
Computation of language : an essay on syntax, semantics, and pragmatics in natural man-machine communication / Roland Hausser ; foreword by Dana Scott
: New York,: Berlin. - Berlin ; Tokyo : Springer-Verlag , c1989
|
| 11 |
. Artificial intelligence
Abductive inference models for diagnostic problem-solving / Yun Peng, James A. Reggia
: us,: gw. - New York ; Tokyo : Springer-Verlag , c1990
|
| 12 |
. Artificial intelligence
Parallel algorithms for machine intelligence and vision / Vipin Kumar, P.S. Gopalakrishnan, Laveen N. Kanal, editors
: us,: gw. - New York ; Tokyo : Springer-Verlag , c1990
|
| 13 |
Artificial intelligence
Catalogue of artificial intelligence techniques / Alan Bundy, ed.
: gw,: us. - 3rd, rev. ed. - Berlin ; Tokyo : Springer-Verlag , 1990
|
| 14 |
. Computer graphics : systems and applications
Engineering databases : connecting islands of automation through databases / José L. Encarnação, Peter Lockemann, (eds.) ; with contributions by K.R. Dittrich ... [et al.]
: New York,: Berlin. - Berlin ; Tokyo : Springer-Verlag , c1990
|
