Shang-ching Chou | Mechanical Geometry Theorem Proving | Buch |

Wen-tsün Wu | Mechanical Theorem Proving In Geometries | Taschenbuch |

A Combination Of Geometry Theorem Proving And Nonstandard Analysis

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Prin, Fachbücher von Jac...

Florian Kammüller | Interactive Theorem Proving In Software

Osman Hasan | Probabilistic Analysis Using Theorem Proving |

Theorem Proving With The Real Numbers 1914

John Harrison (u. A.) | Theorem Proving In Higher Order Logics |

Automated Theorem Proving Theory And Practice 2333

Otmane Ait Mohamed (u. A.) | Theorem Proving In Higher Order Logics |

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

Current Trends In Hardware Verification And Automated Theorem Proving

Interactive Theorem Proving 4th International Conference, Itp 2013,

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

Interactive Theorem Proving And Program Development | Pierre Castéran

Interactive Theorem Proving And Program Development Coq'art: The