Automated Theorem Proving Theory And Practice 2333

Current Trends In Hardware Verification And Automated Theorem Proving

Sean B. Holden Machine Learning For Automated Theorem Proving

Automated Theorem Proving, Fachbücher von Monty Newborn

Machine Vision Automated Visual Inspection: Theory, Practice And

Automated Scheduling And Planning From Theory To Practice 2837

Interactive Theorem Proving And Program Development | Pierre Castéran

Interactive Theorem Proving And Program Development Coq'art: The

A Combination Of Geometry Theorem Proving And Nonstandard Analysis

Pierre Castéran (u. A.) | Interactive Theorem Proving And Program

Lu Yang Bican Xi Automated Inequality Proving And Discoverin

Florian Kammüller | Interactive Theorem Proving In Software

Osman Hasan | Probabilistic Analysis Using Theorem Proving |

Theorem Proving With The Real Numbers 1914

Xingyuan Zhang (u. A.) | Interactive Theorem Proving | Taschenbuch |

Ruben Gamboa (u. A.) | Interactive Theorem Proving | Taschenbuch |