Bücher
> Mathematik
> Grundlagen
> Beweistheorie
Proofs from THE BOOK
Intuitionistic Set Theory . or How to construct semi-rings Part III
Elementare Beweistheorie.
Positive/Negative-Conditional Equations . A Constructor-Based Framework for Specification and Inductive Theorem Proving
Intuitionistic Set Theory . or How to construct semi-rings Part IV
Paralleles Theorembeweisen: Leistungssteigerung, Kooperation und Beweistransformation
Mechanical Theorem Proving in Geometries
Rewriting Techniques and Applications.
Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski, Part II
Types for Proofs and Programs.
Interactive Theorem Proving and Program Development
Theorem Proving in Higher Order Logic 2004
Automated Reasoning with Analytic Tableaux and Related Methods.
The Efficiency of Theorem Proving Strategies
Computer Aided Verification.
Theorem Proving in Higher Order Logics 2003
Using Sophisticated Models in Resolution Theorem Proving
Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000, Proceedings
Types for Proofs and Programs : International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Theorem Proving in Higher Order Logics.
dvd,
buecher,
lernen,
lifestyle,
musik,
ratgeber,
reisen,
shopping,
onsema,
dir4u.de,
dir4u.co.uk
Copyright© 1999-2006 dir4u.com. Alle Rechte vorbehalten.
Kontakt |
Impressum |
Nutzungsbedingungen
|
