|
321 |
Granularity analysis for tutoring mathematical proofs Schiller, Marvin. - [Amsterdam] : IOS Press, 2011
|
|
|
322 |
Heuristics and metaheuristics for heavily constrained hybrid flowshop problems Urlings, Thijs. - Heidelberg : AKA, 2011
|
|
|
323 |
Logic and games on automatic structures Kaiser, Łukasz. - Berlin : Springer, 2011
|
|
|
324 |
Dependency structures and lexicalized grammars Kuhlmann, Marco. - Berlin : Springer, 2010
|
|
|
325 |
Interactive concept description with bayesian partition models Müller, Markus. - Heidelberg : AKA, 2010
|
|
|
326 |
Knowledge acquisition from a collaboratively generated encyclopedia Ponzetto, Simone Paolo. - Heidelberg : AKA, 2010
|
|
|
327 |
Learning and modeling with probabilistic conditional logic Fisseler, Jens. - Heidelberg : AKA, 2010
|
|
|
328 |
Model-based failure-modes-and-effects analysis and its application to aircraft subsystems Fraracci, Alessandro. - [Amsterdam] : IOS Press, 2010
|
|
|
329 |
Model-based transformations for quantified boolean formulas Bubeck, Uwe. - Heidelberg : AKA, 2010
|
|
|
330 |
Applications of Artificial Intelligence in International Marketing Kathitziotis, Neophytos. - München : GRIN Verlag, 2009, 1. Auflage
|
|