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

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

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

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

John Harrison | Theorem Proving With The Real Numbers | Taschenbuch |

Florian Kammüller | Interactive Theorem Proving In Software

Automated Theorem Proving Theory And Practice 2333

Theorem Proving With The Real Numbers 1914

Interactive Theorem Proving And Program Development | Pierre Castéran

Theorem Proving In Higher Order Logics 22nd International Conference,

Sean B. Holden Machine Learning For Automated Theorem Proving

A Combination Of Geometry Theorem Proving And Nonstandard Analysis

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

Wen-li Wu | Materials, Processes, Integration And Reliability In

Zhan Su | Wu Li Ce Liang Zhong De Zhe Xue Wen Ti | Taschenbuch |

Zong Xian Wu | Liang An Wen Jiao Jiao Liu Shi Wu Zhong Fei Ying Li Zu