Automated Deduction - CADE 27, Fachbücher von Pascal Fontaine

Automated Deduction -- CADE-24, Fachbücher

Automated Deduction - CADE-21, Fachbücher von Frank Pfenning

Automated Deduction - CADE-12, Fachbücher von Alan Bundy

Automated Deduction - CADE 28, Fachbücher von André Platzer, Geoff Sutcliffe

Robert Nieuwenhuis | Automated Deduction ¿ Cade-20 | Taschenbuch |

Andrei Voronkov | Automated Deduction - Cade-18 | Taschenbuch |

David Mcallester | Automated Deduction - Cade-17 | Taschenbuch |

Automated Deduction - Cade-25 25th International Conference On

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

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

Automated Deduction - CADE-22, Fachbücher von Renate A. Schmidt

Automated Deduction - CADE-25, Fachbücher von Aart Middeldorp, Amy P. Felty

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

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

Automated Deduction - A Basis For Applications Volume I Foundations -