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

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

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

Theorem Proving In Higher Order Logics 22nd International Conference,

Theorem Proving in Higher Order Logics, Fachbücher von Klaus Schneider, Jens Brandt

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

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

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

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

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

A Combination Of Geometry Theorem Proving And Nonstandard Analysis

Local Analysis For The Odd Order Theorem Helmut Bender (u. A.)

Florian Kammüller | Interactive Theorem Proving In Software

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

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

Theorem Proving With The Real Numbers 1914