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

Automated Deduction -- CADE-24, Fachbücher

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

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

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

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-22 22nd International Conference On

Automated Deduction - Cade 26 26th International Conference On

Automated Deduction - Cade 28 28th International Conference On

Automated Deduction - Cade-25 25th International Conference On

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

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

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