Journals in DBLP

International Journal on Artificial Intelligence Tools
2006, volume: 15, number: 1

1. Stephan Schulz, Geoff Sutcliffe, Tanel Tammet
   Preface. [Citation Graph (0, 0)][DBLP]
   International Journal on Artificial Intelligence Tools, 2006, v:15, n:1, pp:1-2 [Journal]
   
2. Larry Wos
   Milestones for Automated Reasoning with Otter. [Citation Graph (0, 0)][DBLP]
   International Journal on Artificial Intelligence Tools, 2006, v:15, n:1, pp:3-20 [Journal]
   
3. Peter Baumgartner, Alexander Fuchs, Cesare Tinelli
   Implementing the Model Evolution Calculus. [Citation Graph (0, 0)][DBLP]
   International Journal on Artificial Intelligence Tools, 2006, v:15, n:1, pp:21-52 [Journal]
   
4. Bernd Löchner
   Things to Know When Implementing Lpo. [Citation Graph (0, 0)][DBLP]
   International Journal on Artificial Intelligence Tools, 2006, v:15, n:1, pp:53-80 [Journal]
   
5. Ewen Denney, Bernd Fischer, Johann Schumann
   An Empirical Evaluation of Automated Theorem Provers in Software Certification. [Citation Graph (0, 0)][DBLP]
   International Journal on Artificial Intelligence Tools, 2006, v:15, n:1, pp:81-108 [Journal]
   
6. Josef Urban
   Momm - Fast Interreduction and Retrieval in Large Libraries of Formalized Mathematics. [Citation Graph (0, 0)][DBLP]
   International Journal on Artificial Intelligence Tools, 2006, v:15, n:1, pp:109-130 [Journal]