|
4991 |
Automated Reasoning with Analytic Tableaux and Related Methods Berlin, Heidelberg : Springer Berlin Heidelberg, 2000
|
|
|
4992 |
Beiträge zur statistischen Modellierung und effizienten Dekodierung in der automatischen Spracherkennung Willett, Daniel, 2000
|
|
|
4993 |
Bilddatenkompression Strutz, Tilo. - Wiesbaden : Vieweg+Teubner Verlag, 2000
|
|
|
4994 |
Frontiers of Combining Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 2000
|
|
|
4995 |
Methoden wissensbasierter Systeme Wiesbaden : Vieweg+Teubner Verlag, 2000
|
|
|
4996 |
Optimierung rückgekoppelter Hyperpermutationsnetzwerke Schwarz, Tilo, 2000
|
|
|
4997 |
Case retrieval nets as a model for building flexible information systems Lenz, Mario, 1999
|
|
|
4998 |
Image Processing using Pulse-Coupled Neural Networks London : Springer London, 1998
|
|
|
4999 |
Logical aspects of computational linguistics Berlin : Springer, 1998
|
|
|
5000 |
Flexible Query Answering Systems Boston, MA : Springer US, 1997
|
|