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

The Efficiency of Theorem Proving Strategies, Fachbücher von David A. Plaisted, Yunshan Zhu

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

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

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

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

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

A Combination Of Geometry Theorem Proving And Nonstandard Analysis

Theorem Proving With The Real Numbers 1914

Interactive Theorem Proving And Program Development Coq'art: The

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

Loice K. Gudukeya (u. A.) | Strategies Of Improving Turbine Efficiency

Florian Kammüller | Interactive Theorem Proving In Software

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

Osman Hasan | Probabilistic Analysis Using Theorem Proving |

Automated Theorem Proving Theory And Practice 2333