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

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 26, Fachbücher von Leonardo De Moura

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

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

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

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

Automated Deduction - Cade-22 22nd International Conference On

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

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

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

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

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

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