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

Theorem Proving In Higher Order Logics 22nd International Conference,

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

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

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

Automated Theorem Proving, Fachbücher

Automated Theorem Proving in Software Engineering, Fachbücher

Probabilistic Analysis using Theorem Proving, Fachbücher

Interactive Theorem Proving and Program Development, Fachbücher

Theorem Proving with the Real Numbers, Fachbücher von John Harrison

Theorem Proving in Higher Order Logics, Fachbücher

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

Current Trends In Hardware Verification And Automated Theorem Proving

Solving Higher-Order Equations, Fachbücher

High Order Mimetic Methods, Fachbücher

Map (Higher-order Function), Fachbücher