|
351 |
A resolution principle for a logic with restricted quantifiers Bürckert, Hans-Jürgen. - Berlin : Springer, 1991
|
|
|
352 |
Parallelism in logic Kurfeß, Franz J.. - Braunschweig : Vieweg, 1991
|
|
|
353 |
Temporally distributed symptoms in technical diagnosis Nökel, Klaus. - Berlin : Springer, 1991
|
|
|
354 |
Reasoning and revision in hybrid representation systems Nebel, Bernhard. - Berlin : Springer, 1990
|
|
|
355 |
Asymptotic properties of certain competition systems in artificial intelligence and ecology Althöfer, Ingo, 1986
|
|
|
356 |
Seriation by children Young, Richard M.. - Basel : Birkhäuser, 1976
|
|