|
551 |
Combining experimentation and theory Berlin : Springer, 2012
|
|
|
552 |
Combining Experimentation and Theory Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
|
|
|
553 |
Complexity classifications for nonmonotonic reasoning and enumeration Schmidt, Johannes. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2012
|
|
|
554 |
Complexity classifications for nonmonotonic reasoning and enumeration Schmidt, Johannes, 2012
|
|
|
555 |
Computational aspects of dependence logic Lohmann, Peter, 2012
|
|
|
556 |
Computational aspects of dependence logic Lohmann, Peter. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2012
|
|
|
557 |
Computer Arithmetic and Validity Kulisch, Ulrich. - Berlin/Boston : De Gruyter, 2012
|
|
|
558 |
Concept approximations Meschke, Christian, 2012
|
|
|
559 |
Concept Approximations Meschke, Christian. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
|
|
|
560 |
Conceptual factors and fuzzy data Glodeanu, Cynthia-Vera, 2012
|
|