Volume 32, Number 1, January 2004

• 
  Deepak Kapur: Preface. 1-2
• 
  Noboru Matsuda, Kurt VanLehn: GRAMY: A Geometry Theorem Prover Capable of Construction. 3-33
• 
  Christoph Walther, Stephan Schweitzer: Verification in the Classroom. 35-73
• 
  Peter B. Andrews, Chad E. Brown, Frank Pfenning, Matthew Bishop, Sunil Issar, Hongwei Xi: ETPS: A System to Help Students Write Formal Proofs. 75-92

Volume 32, Number 2, February 2004

• 
  Hai Lin, Jigui Sun: Knowledge Compilation Using the Extension Rule. 93-102
• 
  Harald Ganzinger, Robert Nieuwenhuis, Pilar Nivela: Fast Term Indexing with Coded Context Trees. 103-120
• 
  Christoph Kreitz, Heiko Mantel: A Matrix Characterization for Multiplicative Exponential Linear Logic. 121-166
• 
  C. A. Johnson: Top-Down Query Processing in First-Order Deductive Databases under the DWFS. 167-184

Volume 32, Number 3, September 2004

• 
  Deepak Kapur: Preface. 185-186
• 
  Maxim Makatchev, Pamela W. Jordan, Kurt VanLehn: Abductive Theorem Proving for Analyzing Student Explanations to Guide Feedback in Intelligent Tutoring Systems. 187-226
• 
  Richard Sommer, Gregory Nuckols: A Proof Environment for Teaching Mathematics. 227-258
• 
  Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner: Living Book - Deduction, Slicing, and Interaction. 259-286

Volume 32, Number 4, 2004

• 
  Obituary of Harald Ganzinger. 0-
• 
  Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina: Formal Verification of a Generic Framework to Synthetize SAT-Provers. 287-313
• 
  Xavier Urbain: Modular & Incremental Automated Termination Proofs. 315-355

last updated on Thu May 23 04:23:39 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page