default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 21

> 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 21, Number 1, August 1998

- view
  authority control:
- export record
  dblp key:
  - journals/jar/HongboM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HongboM98
Hongbo Li, Cheng Minteh:
Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry. 1-21
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HongJ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HongJ98
Hoon Hong, Dalibor Jakus:
Testing Positiveness of Polynomials. 23-38
- view
  authority control:
- export record
  dblp key:
  - journals/jar/LuMR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/LuMR98
James J. Lu, Neil V. Murray, Erik Rosenthal:
A Framework for Automated Reasoning in Multiple-Valued Logics. 39-67
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Kunen98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Kunen98
Kenneth Kunen:
Nonconstructive Computational Mathematics. 69-97
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SuttnerS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SuttnerS98
Christian B. Suttner, Geoff Sutcliffe:
The CADE-14 ATP System Competition. 99-134

Volume 21, Number 2, October 1998

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Wos98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Wos98
Larry Wos:
Automating the Search for Elegant Proofs. 135-175
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SutcliffeS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SutcliffeS98
Geoff Sutcliffe, Christian B. Suttner:
The TPTP Problem Library - CNF Release v1.2.1. 177-203
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Voronkov98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Voronkov98
Andrei Voronkov:
Proof Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification. 205-231
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ChazarainM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ChazarainM98
Jacques Chazarain, Serge Muller:
Automated Synthesis of Recursive Programs from a forall-exists Logical Specification. 233-275

Volume 21, Number 3, December 1998

- view
  authority control:
- export record
  dblp key:
  - journals/jar/HarrisonT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HarrisonT98
John Harrison, Laurent Théry:
A Skeptic's Approach to Combining HOL and Maple. 279-294
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BauerCZ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BauerCZ98
Andrej Bauer, Edmund M. Clarke, Xudong Zhao:
Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation. 295-325
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KerberKS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KerberKS98
Manfred Kerber, Michael Kohlhase, Volker Sorge:
Integrating Computer Algebra into Proof Planning. 327-355
- view
  authority control:
- export record
  dblp key:
  - journals/jar/DolzmannSW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/DolzmannSW98
Andreas Dolzmann, Thomas Sturm, Volker Weispfenning:
A New Approach for Automatic Theorem Proving in Real Geometry. 357-380
- view
  authority control:
- export record
  dblp key:
  - journals/jar/WuL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/WuL98
Jinzhao Wu, Zhuojun Liu:
Well-Behaved Inference Rules for First-Order Theorem Proving. 381-400

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.