Journal of Automated Reasoning (JAR), Volume 32

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

• Lin Hai, 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.
• 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