Current Trends in Hardware Verification and Automated Theorem Proving, Fachbücher

Automated Theorem Proving Theory And Practice 2333

Sean B. Holden Machine Learning For Automated Theorem Proving

Automated Theorem Proving, Fachbücher von Monty Newborn

Interactive Theorem Proving And Program Development | Pierre Castéran

Interactive Theorem Proving And Program Development Coq'art: The

Lu Yang Bican Xi Automated Inequality Proving And Discoverin

A Combination Of Geometry Theorem Proving And Nonstandard Analysis

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

Florian Kammüller | Interactive Theorem Proving In Software

Osman Hasan | Probabilistic Analysis Using Theorem Proving |

Theorem Proving With The Real Numbers 1914

Automated Technology For Verification And Analysis 11th International

Automated Technology For Verification And Analysis Jean-francois

Interactive Theorem Proving 8th International Conference, Itp 2017,

Automated Technology For Verification And Analysis | Oleg Sokolsky (u.