Automated Deduction in Geometry, Fachbücher von Francisco Botana, Tomas Recio

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

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

Automated Deduction -- CADE-24, Fachbücher

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

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

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

Automated Deduction - CADE 26, Fachbücher von Leonardo De Moura

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

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

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

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

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

Automated Deduction - Cade 28 28th International Conference On

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

Automated Deduction - A Basis For Applications Volume I Foundations -