Automated Deduction In Geometry 9th International Workshop, Adg 2012,

Pedro Quaresma (u. A.) | Automated Deduction In Geometry | Taschenbuch

Advances In Self-organizing Maps 9th International Workshop, Wsom 2012

Automated Deduction in Geometry, Fachbücher von Jacques Fleuriot, Tetsuo Ida

Frontiers In Algorithmics 9th International Workshop, Faw 2015,

Computational Logic In Multi-agent Systems 9th International Workshop,

Membrane Computing 9th International Workshop, Wmc 2008, Edinburgh,

Hybrid Metaheuristics 9th International Workshop, Hm 2014, Hamburg,

Reachability Problems 9th International Workshop, Rp 2015, Warsaw,

Cyber Physical Systems. Model-based Design 9th International Workshop,

Automated Deduction - Cade-22 22nd International Conference On

Aart Middeldorp (u. A.) | Automated Deduction - Cade-25 | Taschenbuch

Automated Deduction - A Basis For Applications Volume I Foundations -

Automated Deduction ¿ Cade 28 Geoff Sutcliffe (u. A.) Taschenbuch

Reversible Computation 4th International Workshop, Rc 2012,

Computational Forensics 5th International Workshop, Iwcf 2012,