|
5481 |
Automated Reasoning with Analytic Tableaux and Related Methods Berlin, Heidelberg : Springer Berlin Heidelberg, 2000
|
|
|
5482 |
Case retrieval nets as a model for building flexible information systems Lenz, Mario. - Berlin : Akad. Verl.-Ges. Aka, 2000
|
|
|
5483 |
Frontiers of Combining Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 2000
|
|
|
5484 |
Methoden wissensbasierter Systeme Wiesbaden : Vieweg+Teubner Verlag, 2000
|
|
|
5485 |
Optimierung rückgekoppelter Hyperpermutationsnetzwerke Schwarz, Tilo, 2000
|
|
|
5486 |
Optimierung rückgekoppelter Hyperpermutationsnetzwerke Schwarz, Tilo, 2000
|
|
|
5487 |
Case retrieval nets as a model for building flexible information systems Lenz, Mario, 1999
|
|
|
5488 |
Entwicklung eines impulskodierenden neuronalen Netzes für die Segmentierung bewegter Szenen Schott, Ulrich, 1999
|
|
|
5489 |
Ressourcenadaptierende Raumbeschreibung Blocher, Anselm, 1999
|
|
|
5490 |
Tagging and parsing with cascaded Markov models Brants, Thorsten. - Saarbrücken : Univ., Department of Computational Lingustistics and Phonetics, 1999
|
|