Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 32

> Home > Journals > Journal of Automated Reasoning (JAR)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 32, Number 1, January 2004

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Kapur04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Kapur04
Deepak Kapur:
Preface. 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/jar/MatsudaV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MatsudaV04
Noboru Matsuda, Kurt VanLehn:
GRAMY: A Geometry Theorem Prover Capable of Construction. 3-33
- view
  authority control:
- export record
  dblp key:
  - journals/jar/WaltherS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/WaltherS04
Christoph Walther, Stephan Schweitzer:
Verification in the Classroom. 35-73
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AndrewsBPBIX04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AndrewsBPBIX04
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

- view
  authority control:
- export record
  dblp key:
  - journals/jar/HaiS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HaiS04
Hai Lin, Jigui Sun:
Knowledge Compilation Using the Extension Rule. 93-102
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GanzingerNN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GanzingerNN04
Harald Ganzinger, Robert Nieuwenhuis, Pilar Nivela:
Fast Term Indexing with Coded Context Trees. 103-120
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KreitzM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KreitzM04
Christoph Kreitz, Heiko Mantel:
A Matrix Characterization for Multiplicative Exponential Linear Logic. 121-166
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Johnson04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Johnson04
C. A. Johnson:
Top-Down Query Processing in First-Order Deductive Databases under the DWFS. 167-184

Volume 32, Number 3, September 2004

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Kapur04a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Kapur04a
Deepak Kapur:
Preface. 185-186
- view
  authority control:
- export record
  dblp key:
  - journals/jar/MakatchevJV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MakatchevJV04
Maxim Makatchev, Pamela W. Jordan, Kurt VanLehn:
Abductive Theorem Proving for Analyzing Student Explanations to Guide Feedback in Intelligent Tutoring Systems. 187-226
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SommerN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SommerN04
Richard Sommer, Gregory Nuckols:
A Proof Environment for Teaching Mathematics. 227-258
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BaumgartnerFGS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BaumgartnerFGS04
Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner:
Living Book - Deduction, Slicing, and Interaction. 259-286

Volume 32, Number 4, 2004

This issue does not appear on the website of Springer

- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/jar/X04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/X04
Obituary of Harald Ganzinger. J. Autom. Reason. 32(4) (2004)
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Martin-MateosAHR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Martin-MateosAHR04
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
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Urbain04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Urbain04
Xavier Urbain:
Modular & Incremental Automated Termination Proofs. 315-355

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.