A Combination Of Geometry Theorem Proving And Nonstandard Analysis

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

Yunshan Zhu (u. A.) | The Efficiency Of Theorem Proving Strategies |

Automated Theorem Proving Theory And Practice 2333

Interactive Theorem Proving And Program Development | Pierre Castéran

Interactive Theorem Proving And Program Development Coq'art: The

Current Trends In Hardware Verification And Automated Theorem Proving

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

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

César A. Muñoz (u. A.) | Interactive Theorem Proving | Taschenbuch |

Theorem Proving In Higher Order Logics Stefan Berghofer (u. A.)

Alexander A. Balinsky (u. A.) | The Analysis And Geometry Of Hardy's

Theorem Proving With The Real Numbers 1914

Complex Analysis And Algebraic Geometry A Volume In Memory Of Michael

Dominique Bakry (u. A.) | Analysis And Geometry Of Markov Diffusion

Theorem Proving In Higher Order Logics 22nd International Conference,