Journals in DBLP

J. Autom. Reasoning
2002, volume: 29, number: 3-4

1. Fairouz Kamareddine
   Special Issue Mechanizing and Automating Mathematics: In honour of N.G. de Bruijn - Preface. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2002, v:29, n:3-4, pp:183-188 [Journal]
   
2. Grzegorz Bancerek, Piotr Rudnicki
   A Compendium of Continuous Lattices in MIZAR. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2002, v:29, n:3-4, pp:189-224 [Journal]
   
3. Yves Bertot, Nicolas Magaud, Paul Zimmermann
   A Proof of GMP Square Root. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2002, v:29, n:3-4, pp:225-252 [Journal]
   
4. Marc Bezem, Dimitri Hendriks, Hans de Nivelle
   Automated Proof Construction in Type Theory Using Resolution. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2002, v:29, n:3-4, pp:253-275 [Journal]
   
5. Dimitri Hendriks
   Proof Reflection in Coq. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2002, v:29, n:3-4, pp:277-307 [Journal]
   
6. Quang Huy Nguyen, Claude Kirchner, Hélène Kirchner
   External Rewriting for Skeptical Proof Assistants. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2002, v:29, n:3-4, pp:309-336 [Journal]
   
7. Virgile Prevosto, Damien Doligez
   Algorithms and Proofs Inheritancey in the FOC Language. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2002, v:29, n:3-4, pp:337-363 [Journal]
   
8. Freek Wiedijk
   A New Implementation of Automath. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2002, v:29, n:3-4, pp:365-387 [Journal]
   
9. Markus Wenzel, Freek Wiedijk
   A Comparison of Mizar and Isar. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2002, v:29, n:3-4, pp:389-411 [Journal]