|
281 |
Complexity classifications for nonmonotonic reasoning and enumeration Schmidt, Johannes, 2012
|
|
|
282 |
Computational aspects of dependence logic Lohmann, Peter, 2012
|
|
|
283 |
Concept approximations Meschke, Christian, 2012
|
|
|
284 |
Conceptual factors and fuzzy data Glodeanu, Cynthia-Vera, 2012
|
|
|
285 |
Counting graphs Cieslik, Dietmar. - Aachen : Shaker, 2012
|
|
|
286 |
Cylindric-like algebras and algebraic logic Berlin : Springer, c 2012
|
|
|
287 |
Das Erfüllbarkeitsproblem SAT Schöning, Uwe. - Berlin : Lehmanns Media, 2012
|
|
|
288 |
Der Logikverführer Drösser, Christoph. - Reinbek bei Hamburg : Rowohlt-Taschenbuch-Verl., 2012, Orig.-Ausg.
|
|
|
289 |
Discrete time analysis of consolidated transport processes Özden, Eda. - Karlsruhe : KIT Scientific Publ., 2012
|
|
|
290 |
Eagle-Starthilfe Berechenbarkeitstheorie Wagenknecht, Christian. - Leipzig : Ed. am Gutenbergplatz, 2012
|
|