Journals in DBLP

AI Commun.
2002, volume: 15, number: 2-3

1. Robert Nieuwenhuis
   The impact of CASC in the development of automated deduction systems. [Citation Graph (0, 0)][DBLP]
   AI Commun., 2002, v:15, n:2-3, pp:77-78 [Journal]
   
2. Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner
   The development of CASC. [Citation Graph (0, 0)][DBLP]
   AI Commun., 2002, v:15, n:2-3, pp:79-90 [Journal]
   
3. Alexandre Riazanov, Andrei Voronkov
   The design and implementation of VAMPIRE. [Citation Graph (0, 0)][DBLP]
   AI Commun., 2002, v:15, n:2-3, pp:91-110 [Journal]
   
4. Stephan Schulz
   E - a brainiac theorem prover. [Citation Graph (0, 0)][DBLP]
   AI Commun., 2002, v:15, n:2-3, pp:111-126 [Journal]
   
5. Bernd Löchner, Thomas Hillenbrand
   A phytography of WALDMEISTER. [Citation Graph (0, 0)][DBLP]
   AI Commun., 2002, v:15, n:2-3, pp:127-133 [Journal]
   
6. Kahlil Hodgson, John K. Slaney
   TPTP, CASC and the development of a semantically guided theorem prover. [Citation Graph (0, 0)][DBLP]
   AI Commun., 2002, v:15, n:2-3, pp:135-146 [Journal]
   
7. Dominique Pastre
   Strong and weak points of the MUSCADET theorem prover - examples from CASC-JC. [Citation Graph (0, 0)][DBLP]
   AI Commun., 2002, v:15, n:2-3, pp:147-160 [Journal]
   
8. Gonzalo Ramos-Jiménez
   New developments in Inductive Learning. [Citation Graph (0, 0)][DBLP]
   AI Commun., 2002, v:15, n:2-3, pp:161-162 [Journal]
   
9. Ginés Moreno
   Transformation Rules and Strategies for Functional-Logic Programs. [Citation Graph (0, 0)][DBLP]
   AI Commun., 2002, v:15, n:2-3, pp:163-165 [Journal]