Studium, Ausbildung und Beruf

web uni-protokolle.de
 powered by
NachrichtenLexikonProtokolleBücherForenMittwoch, 22. Mai 2019 

Beweistheorie


Bücher > Mathematik > Grundlagen > Beweistheorie


    Theorem Proving in Higher Order Logics. 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings (Lecture Notes in Computer Science Vol. 2152)
    von Richard J. Boulton
    The Efficiency of Theorem Proving Strategies. A Comparative and Asymptotic Analysis.
    von David A. Plaisted
    Using Sophisticated Models in Resolution Theorem Proving (Lecture Notes in Computer Science Vol. 90)
    von David M. Sandford
    From Logic Design to Logic Programming. Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science Vol. 271)
    von Dominique Snyers
    Proof Theory in Computer Science. International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science Vol. 2183)
    von Reinhard Kahle
    Correct Hardware Design and Verification Methods. 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings (Lecture Notes in Computer Science Vol. 2144)
    von Tiziana Margaria
    Automated Deduction in Geometry. Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers (Lecture Notes in Computer Science Vol. 2061)
    von Jürgen Richter-Gebert
    AI*IA 2001: Advances in Artificial Intelligence. 7th Congress of the Italian Association for Artificial Intelligence, Bari, Italy, September 25-28, 2001. Proceedings (Lecture Notes in Computer Science Vol. 2175)
    von Floriana Esposito
    Theorem Proving with Analytic Tableaux and Related Methods. 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings (Lecture Notes in Computer Science Vol. 918)
    von Peter Baumgartner
    Modeling and Verification of Parallel Processes. 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 (Lecture Notes in Computer Science Vol. 2067)
    von Franck Cassez
    Compositionality, Concurrency, and Partial Correctness. Proof Theories for Networks of Processes, and Their Relationship (Lecture Notes in Computer Science Vol. 321)
    von Job Zwiers
    Proof Theory. An Introduction (Lecture Notes in Mathematics Vol. 1407)
    von Wolfram Pohlers
    On the Shape of Mathematical Arguments (Lecture Notes in Computer Science Vol. 445)
    von Antonetta J.M. van Gasteren
    Higher Order Logic Theorem Proving and Its Applications. 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings (Lecture Notes in Computer Science Vol. 780)
    von Jeffrey J. Joyce
    Extensions of Logic Programming. 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings (Lecture Notes in Computer Science Vol. 798)
    von Roy Dyckhoff
    Higher Order Logic Theorem Proving and Its Applications. 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (Lecture Notes in Computer Science Vol. 859)
    von Thomas F. Melham
    Theorem Provers in Circuit Design. Theory, Practice and Experience. Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994. Proceedings (Lecture Notes in Computer Science Vol. 901)
    von Ramayya Kumar
    Rewriting Techniques and Applications. 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings (Lecture Notes in Computer Science Vol. 1232)
    von Hubert Comon
    Logic and Computational Complexity. International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers (Lecture Notes in Computer Science Vol. 960)
    von Daniel Leivant
    Interactive Theorem Proving and Program Development. Coq'Art: The Calculus of Inductive Constructions.
    von Yves Bertot
    Zum Thema:
    ImpressumLesezeichen setzenSeite versendenSeite drucken

    HTML-Code zum Verweis auf diese Seite:
    <a href="http://www.uni-protokolle.de/buecher/kat/519956/"> Beweistheorie </a>