|
141 |
Knowledge based computer systems Berlin : Springer, 1990
|
|
|
142 |
Konnektionismus in artificial intelligence und Kognitionsforschung Berlin : Springer, 1990
|
|
|
143 |
Parallel algorithms for machine intelligence and vision New York : Springer, 1990
|
|
|
144 |
Proceedings / AI '88 AI (2 : 1988 : Adelaide). - Berlin : Springer, 1990
|
|
|
145 |
Proceedings / 10th International Conference on Automated Deduction International Conference on Automated Deduction (10 : 1990 : Kaiserslautern). - Berlin : Springer, 1990
|
|
|
146 |
Progress in distributed operating systems and distributed systems management Berlin : Springer, 1990
|
|
|
147 |
Reasoning and revision in hybrid representation systems Nebel, Bernhard. - Berlin : Springer, 1990
|
|
|
148 |
Sorts and types in artificial intelligence Berlin : Springer, 1990
|
|
|
149 |
Termination proofs for logic programs Plümer, Lutz. - Berlin : Springer, 1990
|
|
|
150 |
The shape of future technology Brödner, Peter. - London : Springer, 1990
|
|