| Shelfclass |
Sortkey |
Title |
| 4.B.3 |
AAAI 1993 |
Automated Deduction in Nonstandard Logics: Working notes |
| 4.B.3 |
ACZEL, PETER |
Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme, 1990 |
| 4.B.3 |
AÏT-KACI, HASSAN |
Warren's Abstract Machine: A Tutorial Reconstruction |
| 4.B.3 |
ANDERSON, ROBERT BROCKETT |
Proving Programs Correct |
| 4.B.3 |
BAADER, FRANZ |
Term Rewriting and All That |
| 4.B.3 |
BACHMAIR, LEO |
Canonical Equational Proofs |
| 4.B.3 |
BACHMAIR, LEO |
Proof Methods for Equational Theories |
| 4.B.3 |
BAUMGARTNER, PETER |
Theory Reasoning in Connection Calculi |
| 4.B.3 |
BECKER, JOACHIM |
Effiziente Subsumption in Deduktionssystemen |
| 4.B.3 |
BENNINGHOFEN, B |
Systems of Reductions |
| 4.B.3 |
BERGER, ULRICH |
Computational Logic |
| 4.B.3 |
BERTOT, YVES |
Interactive Theorem Proving and Program Development: Coq'Art: the Calculus of Inductive Constructions |
| 4.B.3 |
BEZEM, MARC |
Term Rewriting Systems |
| 4.B.3 |
BIBEL, WOLFGANG |
Automated Deduction: A Basis for Applications. Volume 1 |
| 4.B.3 |
BIBEL, WOLFGANG |
Automated Theorem Proving |
| 4.B.3 |
BIBEL, WOLFGANG |
Deduction: Automated Logic |
| 4.B.3 |
BIBEL, WOLFGANG |
Fundamentals of Artificial Intelligence: An Advanced Course |
| 4.B.3 |
BICARREGUI, JUAN C |
Proof in VDM: A Practitioner's Guide |
| 4.B.3 |
BICARREGUI, JUAN C |
Proof in VDM: Case Studies |
| 4.B.3 |
BIRTWISTLE, GRAHAM |
Current Trends in Hardware Verification and Automated Theorem Proving |
| 4.B.3 |
BLÄSIUS, K. H |
Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24-26, 1989: proceedings |
| 4.B.3 |
BLEDSOE, W. W |
Automated Theorem Proving: After 25 Years |
| 4.B.3 |
BOYER, ROBERT S |
A Computational Logic |
| 4.B.3 |
BOYER, ROBERT S |
A Computational Logic Handbook |
| 4.B.3 |
BOYER, ROBERT S |
Automated Reasoning: Essays in Honor of Woody Bledsoe |
| 4.B.3 |
BOYER, ROBERT S |
The Correctness Problem in Computer Science |
| 4.B.3 |
BRUYNOOGHE, MAURICE |
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development |
| 4.B.3 |
BUCHHOLZ, WILFRIED |
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies |
| 4.B.3 |
BUNDY, ALAN |
Rippling: Meta-Level Guidance for Mathematical Reasoning |
| 4.B.3 |
BÜRCKERT, H.-J |
A Resolution Principle for a Logic with Restricted Quantifiers |
| 4.B.3 |
CADOLI, MARCO |
Tractable Reasoning in Artificial Intelligence |
| 4.B.3 |
CAFERRA, RICARDO |
Automated Deduction in Classical and Non-Classical Logics: Selected Papers |
| 4.B.3 |
CAV |
CAV 1990: Computer-Aided Verification: 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings |
| 4.B.3 |
CAV |
CAV 1991: Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991, Proceedings |
| 4.B.3 |
CAV |
CAV 1992: Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings |
| 4.B.3 |
CAV |
CAV 1994: Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994, Proceedings |
| 4.B.3 |
CAV |
CAV 1995: Computer Aided Verification: 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995, Proceedings |
| 4.B.3 |
CAV |
CAV 1996: Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings |
| 4.B.3 |
CAV |
CAV 1998: Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings |
| 4.B.3 |
CAV |
CAV 1999: Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings |
| 4.B.3 |
CAV |
CAV 2000: Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings |
| 4.B.3 |
CAV |
CAV 2001: Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings |
| 4.B.3 |
CAV |
CAV 2006: Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings |
| 4.B.3 |
CAV |
CAV 2007: Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007: proceedings |
| 4.B.3 |
CAV |
CAV 2008: Computer Aided Verification: 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings |
| 4.B.3 |
CHANDRU, VIJAY |
Optimization Methods for Logical Inference |
| 4.B.3 |
CHANG, CHIN-LIANG |
Symbolic Logic and Mechanical Theorem Proving |
| 4.B.3 |
CHOU, SHANG-CHING |
Mechanical Geometry Theorem Proving |
| 4.B.3 |
CL |
CL 2000: Computational Logic - CL 2000: First International Conference, London, UK, July 24-28, 2000, Proceedings |
| 4.B.3 |
CLARKE, EDMUND M. |
Model Checking |
| 4.B.3 |
CLOTE, PETER |
Arithmetic, Proof Theory, and Computational Complexity |
| 4.B.3 |
COLOG |
COLOG 1988: COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings |
| 4.B.3 |
COMON, HUBERT |
Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993: advanced course |
| 4.B.3 |
COMON.-LUNDH, HUBERT |
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th birthday |
| 4.B.3 |
CONSTABLE, R. L |
Implementing Mathematics with the Nuprl Proof Development System |
| 4.B.3 |
CORBETT, DAN |
Reasoning and Unification Over Conceptual Graphs |
| 4.B.3 |
COX, PHILIP T |
Deduction Plans: A Graphical Proof Procedure for the First-Order Predicate Calculus |
| 4.B.3 |
DAVIS, RANDALL |
Knowledge-Based Systems in Artificial Intelligence |
| 4.B.3 |
DEBESSONET, CARY G |
A Many-Valued Approach to Deduction and Reasoning for Artificial Intelligence |
| 4.B.3 |
DI GASPERO, LUCA |
Local Search Techniques for Scheduling Problems: Algorithms and Software Tools |
| 4.B.3 |
DOSEN, KOSTA |
Proof-Theoretical Coherence |
| 4.B.3 |
DREBEN, BURTON |
The Decision Problem: Solvable Classes of Quantificational Formulas |
| 4.B.3 |
DRECHSLER, ROLF |
Binary Decision Diagrams: Theory and Implementation |
| 4.B.3 |
DUFFY, DAVID A |
Principles of Automated Theorem Proving |
| 4.B.3 |
DU, KE-LIN |
Search and Optimization by Metaheuristics: Techniques and Algorithms Inspired by Nature |
| 4.B.3 |
EISINGER, NORBERT |
Completeness, Confluence, and Related Properties of Clause Graph Resolution |
| 4.B.3 |
ERNST, GEORGE W |
GPS: A Case Study in Generality and Problem Solving |
| 4.B.3 |
FARRENY, HENRI |
AI and Expertise: Heuristic Search, Influence Engines, Automatic Proving |
| 4.B.3 |
FENSEL, DIETER |
Problem Solving Methods: Understanding, Description, Development, and Reuse |
| 4.B.3 |
FERMÜLLER, C |
Resolution Methods for the Decision Problem |
| 4.B.3 |
FINDLER, N. V |
Artificial Intelligence and Heuristic Programming |
| 4.B.3 |
FITTING, MELVIN |
First-Order Logic and Automated Theorem Proving |
| 4.B.3 |
FLOUDAS, CHRISTODOULOS A |
A Collection of Test Problems for Constrained Global Optimization Algorithms |
| 4.B.3 |
FORBUS, KENNETH D |
Building Problem Solvers |
| 4.B.3 |
FORBUS, KENNETH D |
Building Problem Solvers: Listings |
| 4.B.3 |
FORREST, STEPHANIE |
Parallelism and Programming in Classifier Systems |
| 4.B.3 |
FROCOS |
FroCoS 2000: Frontiers of Combining Systems: 3rd International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000: proceedings |
| 4.B.3 |
FROCOS |
FroCoS 2002: Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002: proceedings |
| 4.B.3 |
FROCOS |
FroCoS 2005: Frontiers of Combining Systems: 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005: proceedings |
| 4.B.3 |
FROCOS |
FroCoS '96: Frontiers of Combining Systems: 1st International Workshop, Munich, March 1996 |
| 4.B.3 |
FROCOS |
FroCoS '98: Frontiers of Combining Systems: 2nd International Workshop |
| 4.B.3 |
FRONHÖFER, B |
Parallelization in Inference Systems: International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990: proceedings |
| 4.B.3 |
GABBAY, DOV M |
Goal-Directed Proof Theory |
| 4.B.3 |
GALLIER, JEAN H |
Logic for Computer Science: Foundations of Automatic Theorem Proving |
| 4.B.3 |
GERMAN, OLEG V |
Problem Solving: Methods, Programming and Future Concepts |
| 4.B.3 |
GLOVER, FRED |
Tabu Search |
| 4.B.3 |
GOLLER, CHRISTOPH |
A Connectionist Approach for Learning Search Control Heuristics for Automated Deduction Systems |
| 4.B.3 |
GOUBAULT-LARRECQ, JEAN |
Proof Theory and Automated Deduction |
| 4.B.3 |
GRAF, PETER |
Substitution Tree Indexing |
| 4.B.3 |
GRAF, PETER |
Term Indexing |
| 4.B.3 |
GRAF, PETER |
Term Indexing |
| 4.B.3 |
GRUMBERG, ORNA |
25 Years of Model Checking: History, Achievements, Perspectives |
| 4.B.3 |
HÄHNLE, REINER |
Automated Deduction in Multiple-Valued Logics |
| 4.B.3 |
HAINS, GAETAN J. D. R. |
Parallel Algorithms for Free and Associative-Commutative Unification |
| 4.B.3 |
HANSEN, CHRISTIAN MAHESH |
Incremental Proof Search in the Splitting Calculus |
| 4.B.3 |
HARRISON, JOHN |
Theorem Proving with the Real Numbers |
| 4.B.3 |
HAYASHI, SUSUMU |
PX: A Computational Logic |
| 4.B.3 |
HEROLD, ALEXANDER |
Combination of Unification algorithms in Equational Theories |
| 4.B.3 |
HOOS, HOLGER H. |
Stochastic Local Search: Foundations and Applications |
| 4.B.3 |
HUNT, WARREN A |
FM8501: A Verified Microprocessor |
| 4.B.3 |
IWWERT |
IWWERT 1990: Word Equations and Related Topics: 1st International Workshop, IWWERT '90, Tèubingen, Germany, October 1-3, 1990: Proceedings |
| 4.B.3 |
IWWERT |
IWWERT 1991: Word Equations and Related Topics: Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991: Proceedings |
| 4.B.3 |
JOUANNAUD, JEAN-PIERRE |
Rewriting Techniques and Applications |
| 4.B.3 |
KALMAN, JOHN ARNOLD |
Automated Reasoning with Otter |
| 4.B.3 |
KAMPERMAN, JASPER |
Compilation of Term Rewriting Systems |
| 4.B.3 |
KGC |
KGC 1993 :Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993: Proceedings |
| 4.B.3 |
KGC |
KGC 1997: Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997: Proceedings |
| 4.B.3 |
KIRCHNER, CLAUDE |
Unification |
| 4.B.3 |
KREINOVICH, V |
Problems of Reducing the Exhaustive Search |
| 4.B.3 |
LASSEZ, JEAN-LOUIS |
Computational Logic: Essays in Honor of Alan Robinson |
| 4.B.3 |
LEITSCH, ALEXANDER |
The Resolution Calculus |
| 4.B.3 |
LLOYD, J. W |
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 |
| 4.B.3 |
LOVELAND, DONALD W |
Automated Theorem Proving: A Logical Basis |
| 4.B.3 |
MAES, PATTIE |
Meta-Level Architectures and Reflection |
| 4.B.3 |
MASLOV, S. YU |
Theory of Deductive Systems and Its Applications |
| 4.B.3 |
MCALLESTER, DAVID A |
Ontic: A Knowledge Representation System for Mathematics |
| 4.B.3 |
MCCUNE, W |
Automated Deduction in Equational Logic and Cubic Curves |
| 4.B.3 |
MEYER, CHRISTOPHER |
Parallel Unit Resulting Resolution |
| 4.B.3 |
MEYER, KENNETH RAY |
Computer Aided Proofs in Analysis |
| 4.B.3 |
MIRANKER, DANIEL P |
TREAT: A New and Efficient Match Algorithm for AI Production Systems |
| 4.B.3 |
MOORE, J. STROTHER |
Piton: A Mechanically Verified Assembly-Level Language |
| 4.B.3 |
MOORE, ROBERT C |
Reasoning from Incomplete Knowledge in a Procedural Deduction System |
| 4.B.3 |
NEIDORF, ROBERT |
Deductive Forms: An Elementary Logic |
| 4.B.3 |
NEWBORN, MONTY |
Automated Theorem Proving: Theory and Practice |
| 4.B.3 |
NILSSON, NILS J |
Problem-Solving Methods in Artificial Intelligence |
| 4.B.3 |
NIPKOW, TOBIAS |
Isabelle/HOL: A Proof Assistant for Higher-Order Logic |
| 4.B.3 |
OHLEBUSCH, ENNO |
Advanced Topics in Term Rewriting |
| 4.B.3 |
PADAWITZ, PETER |
Computing in Horn Clause Theories |
| 4.B.3 |
PAN, GUOQIANG |
BDD-Based Decision Procedures for Modal Logic [Kappa]: A Thesis Submitted in Partial Fulfillment of the Requirements for the Degree Master of Science: Rice University, Houston, Texas, March 2003 |
| 4.B.3 |
PAULSON, LAWRENCE |
Logic and Computation: Interactive Proof with Cambridge LCF |
| 4.B.3 |
PAULSON, LAWRENCE C |
Isabelle: A Generic Theorem Prover |
| 4.B.3 |
P, DEEPAK |
Operators for Similarity Search: Semantics, Techniques and Usage Scenarios |
| 4.B.3 |
PFALZGRAF, JOCHEN |
Automated Practical Reasoning: Algebraic Approaches |
| 4.B.3 |
PLAISTED, DAVID A |
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis |
| 4.B.3 |
POLYA, GEORGE |
How to Solve It: A New Aspect of Mathematical Method |
| 4.B.3 |
PRAWITZ, DAG |
Natural Deduction: A Proof-Theoretical Study |
| 4.B.3 |
QUAIFE, ART |
Automated Development of Fundamental Mathematical Theories |
| 4.B.3 |
RAATZ, STAN |
Graph-Based Proof Procedures for Horn Clauses |
| 4.B.3 |
RAMESH, RAMASUBRAMANIAN |
Automata-Driven Matching and Unification Procedures: A Dissertation |
| 4.B.3 |
RIAZANOV, ALEXANDRE |
Implementing an Efficient Theorem Prover |
| 4.B.3 |
ROBINSON, J. A |
Handbook of Automated Reasoning: Volume 1 |
| 4.B.3 |
ROBINSON, J. A |
Handbook of Automated Reasoning: volume 2 |
| 4.B.3 |
RONTOGIANNIS, ATHANASIOS |
A Probabilistic Approach for Reducing the Search Cost in Binary Decision Trees |
| 4.B.3 |
SANDFORD, DAVID M |
Using Sophisticated Models in Resolution Theorem Proving |
| 4.B.3 |
SAT |
SAT 2000: Highlights of Satisfiability Research in the Year 2000 |
| 4.B.3 |
SAT |
SAT 2003: Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003: selected revised papers |
| 4.B.3 |
SAT |
SAT 2004: Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004: revised selected papers |
| 4.B.3 |
SAT |
SAT 2005: Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005: proceedings |
| 4.B.3 |
SAT |
SAT 2006: Theory and Applications of Satisfiability Testing: 9th International Conference, Seattle, WA, USA, August 12-15, 2006: proceedings |
| 4.B.3 |
SAT |
SAT 2007: Theory and Applications of Satisfiability Testing: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007. proceedings |
| 4.B.3 |
SAT |
SAT 2008: Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008: Proceedings |
| 4.B.3 |
SCHAUB, TORSTEN |
The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation |
| 4.B.3 |
SCHMIDT-SCHAUSS, M |
Computational Aspects of an Order-Sorted Logic with Term Declarations |
| 4.B.3 |
SCHMITT, STEPHAN |
Proof Construction in Classical and Non-Classical Logics |
| 4.B.3 |
SCHULZ, STEPHAN |
Learning Search Control Knowledge for Equational Deduction |
| 4.B.3 |
SCHUMANN, JOHANN M |
Automated Theorem Proving in Software Engineering |
| 4.B.3 |
SHANAHAN, MURRAY |
Search, Inference and Dependencies in Artificial Intelligence |
| 4.B.3 |
SIEKMANN, JÖRG H |
Automation of Reasoning: 1: Classical Papers on Computational Logic 1957-1966 |
| 4.B.3 |
SIEKMANN, JÖRG H |
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 |
| 4.B.3 |
SILVER, BERNARD |
Meta-Level Inference: Representing and Learning Control Information in Artificial Intelligence |
| 4.B.3 |
SLAGLE, JAMES R |
Artificial Intelligence: The Heuristic Programming Approach |
| 4.B.3 |
SLEEP, M. R |
Term Graph Rewriting: Theory and Practice |
| 4.B.3 |
SMETS, PHILIPPE |
Non-Standard Logics for Automated Reasoning |
| 4.B.3 |
SNYDER, WAYNE |
A Proof Theory for General Unification |
| 4.B.3 |
SOCHER-AMBROSIUS, ROLF |
Deduktionssysteme |
| 4.B.3 |
SPIN |
SPIN Workshop 1999: Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings |
| 4.B.3 |
SPIN |
SPIN Workshop 2000: SPIN Model Checking and Software Verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000: Proceedings |
| 4.B.3 |
SPIN |
SPIN Workshop 2001: Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001: Proceedings |
| 4.B.3 |
SPIN |
SPIN Workshop 2003: Model Checking Software: 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003: Proceedings |
| 4.B.3 |
SPIN |
SPIN Workshop 2005: Model Checking Software: 12th International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005: Proceedings |
| 4.B.3 |
SPIN |
SPIN Workshop 2006: Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006: proceedings |
| 4.B.3 |
SPIN |
SPIN Workshop 2007: Model Checking Software: 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007: proceedings |
| 4.B.3 |
SPIN |
SPIN Workshop 2008: Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings |
| 4.B.3 |
STACHNIAK, ZBIGNIEW |
Resolution Proof Systems: An Algebraic Theory |
| 4.B.3 |
STAVRIDOU, VICTORIA |
Theorem Provers in Circuit Design: Proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24 June 1992 |
| 4.B.3 |
STICKEL, MARK |
The Path-Indexing Method for Indexing Terms |
| 4.B.3 |
STICKEL, MARK E |
The Path-Indexing Method for Indexing Terms |
| 4.B.3 |
SUCHANEK, FABIAN |
Automated Reasoning and Common Sense: Higher Order Aspirations with First Order Logic |
| 4.B.3 |
SUDAN, MADHU |
Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems |
| 4.B.3 |
TABLEAUX |
TABLEAUX 1992: Theorem Proving with Analytic Tableaux and Related Methods: 1st International Workshop, March 18-12, 1992 in Lautenbach |
| 4.B.3 |
TABLEAUX |
TABLEAUX 1995: Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995: proceedings |
| 4.B.3 |
TABLEAUX |
TABLEAUX 1996: Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, 15-17, 1996: proceedings |
| 4.B.3 |
TABLEAUX |
TABLEAUX 1997: Automated Reasoning with Analytic Tableaux and Related Methods: 6th International Conference, TABLEAUX '97, Pont-a-Mousson, France, May 13-16, 1997: proceedings |
| 4.B.3 |
TABLEAUX |
TABLEAUX 1998: Automated Reasoning with Analytic Tableaux and Related Methods: 7th International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998: proceedings |
| 4.B.3 |
TABLEAUX |
TABLEAUX 1999: Automated Reasoning with Analytic Tableaux and Related Methods: 8th International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999: Proceedings |
| 4.B.3 |
TABLEAUX |
TABLEAUX 2000: Automated Reasoning with Analytic Tableaux and Related Methods: 9th International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000: proceedings |
| 4.B.3 |
TABLEAUX |
TABLEAUX 2002: Automated Reasoning with Analytic Tableaux and Related Methods: 11th International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002: proceedings |
| 4.B.3 |
TABLEAUX |
TABLEAUX 2003: Automated Reasoning with Analytic Tableaux and Related Methods: 12th International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003: proceedings |
| 4.B.3 |
TABLEAUX |
TABLEAUX 2005: Automated Reasoning with Analytic Tableaux and Related Methods: 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005: proceedings |
| 4.B.3 |
TABLEAUX |
TABLEAUX 2007: Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, Aix en Provence, France, July 3-6, 2007. proceedings |
| 4.B.3 |
THISTLEWAITE, PAUL B |
Automated Theorem-Proving in Non-Classical Logics |
| 4.B.3 |
TPHOLS |
TPHOLs 1992: Higher Order Logic Theorem Proving and Its Applications: Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - HOL '92: Leuven, Belgium, 21-24 September, 1992 |
| 4.B.3 |
TPHOLS |
TPHOLs 1993: Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993: proceedings |
| 4.B.3 |
TPHOLS |
TPHOLs 1994: Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994: Proceedings |
| 4.B.3 |
TPHOLS |
TPHOLs 1995: Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995: proceedings |
| 4.B.3 |
TPHOLS |
TPHOLs 1996: Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996: proceedings |
| 4.B.3 |
TPHOLS |
TPHOLs 1997: Theorem Proving in Higher Order Logics: 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997: proceedings |
| 4.B.3 |
TPHOLS |
TPHOLs 1998: Theorem Proving in Higher Order Logics: 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998: proceedings |
| 4.B.3 |
TPHOLS |
TPHOLs 1999: Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999: proceedings |
| 4.B.3 |
TPHOLS |
TPHOLs 2000: Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000: proceedings |
| 4.B.3 |
TPHOLS |
TPHOLs 2001: Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings |
| 4.B.3 |
TPHOLS |
TPHOLs 2002: Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002: proceedings |
| 4.B.3 |
TPHOLS |
TPHOLs 2003: Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003: proceedings |
| 4.B.3 |
TPHOLS |
TPHOLs 2004: Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA,September 14-17, 2004: proceedings |
| 4.B.3 |
TPHOLS |
TPHOLs 2005: Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005: proceedings |
| 4.B.3 |
TPHOLS |
TPHOLs 2007: Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007: proceedings: [electronic resource] |
| 4.B.3 |
TPHOLS |
TPHOLs 2008: Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings |
| 4.B.3 |
TPHOLS |
TPHOLs 2009: Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings |
| 4.B.3 |
TROELSTRA, A. S |
Basic Proof Theory |
| 4.B.3 |
VAN GASTEREN, ANTONETTA. J. M |
On the Shape of Mathematical Arguments |
| 4.B.3 |
VAN HARMELEN, FRANK |
Meta-Level Inference Systems |
| 4.B.3 |
WALLEN, LINCOLN A |
Automated Proof Search in non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics |
| 4.B.3 |
WALTHER, CHRISTOPH |
A Many-Sorted Calculus Based on Resolution and Paramodulation |
| 4.B.3 |
WEICH, KLAUS |
Improving Proof Search in Intuitionistic Propositional Logic |
| 4.B.3 |
WICKELGREN, WAYNE A |
How to Solve Problems: Elements of a Theory of Problems and Problem Solving |
| 4.B.3 |
WILKERSON, RALPH W |
Advances in Logic Programming and Automated Reasoning: Volume 1 |
| 4.B.3 |
WILLIAMS, JAMES G |
Instantiation Theory: On the Foundations of Automated Deduction |
| 4.B.3 |
WOS, LARRY |
Automated Reasoning and the Discovery of Missing and Elegant Proofs |
| 4.B.3 |
WOS, LARRY |
Automated Reasoning: Introduction and Applications |
| 4.B.3 |
WOS, LARRY |
The Automation of Reasoning: An Experimenter's Notebook with OTTER Tutorial |
| 4.B.3 |
WU, WEN-TSUN |
Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving |