Automated Deduction - A Basis For Applications Volume I Foundations -

P. H. Schmitt (u. A.) | Automated Deduction - A Basis For Applications

Automated Software Testing Foundations, Applications And Challenges

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

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

Lopamudra Nayak (u. A.) | Software Application For Automated

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

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

Automated Deduction - Cade-25 25th International Conference On

Software Application For Automated Transcript Analysis 2070

Automated Segregating Device For Reuse And Recycle Waste Application

Cloud Computing For Optimization: Foundations, Applications, And

Foundation Flash Applications For Mobile Devices 4858

Automated Guided Vehicle Systems A Primer With Practical Applications

Foundations For Innovative Application Of Airborne Radars Measuring

Smart Infrastructure And Applications Foundations For Smarter Cities