Journal of Automated Reasoning 2002: Vol 29 Table of Contents

3 Pages·2002·0.8 MB·English

a Journal of Automated Reasoning 29: 417-418, 2002.
Contents to Volume 29
Volume 29 No. 1 2002
WILLIAM McCUNE, ROBERT VEROFF, BRANDEN FITELSON,
KENNETH HARRIS, ANDREW FEIST and LARRY WOS /
Short Single Axioms for Boolean Algebra 1-16
ADNAN YAHYA and DAVID A. PLAISTED / Ordered Semantic
Hyper Tableaux 17-57
JOHN SLANEY / More Proofs of an Axiom of Lukasiewicz 59-66
RUEDIGER THIELE and LARRY WOS / Hilbert’s Twenty-Fourth
Problem 67-89
VIVEK S. BORKAR, VIJAY CHANDRU and SANJOY K. MITTER /
Mathematical Programming Embeddings of Logic 91-106
Volume 29 No. 2 2002
LARRY WOS, DOLPH ULRICH and BRANDEN FITELSON / Van-
quishing the XCB Question: The Methodological Discovery of
the Last Shortest Single Axiom for the Equivalential Calculus 107-124
LEILA AMGOUD and CLAUDETTE CAYROL / Inferring from In-
consistency in Preference-Based Argumentation Frameworks 125-169
G. MASHEVITZKY / Unification Types of Completely Regular Semi-
groups 171-182
Volume 29 Nos. 3-4 2002
Mechanizing and Automating Mathematics:
In Honor of N. G. de Bruijn
Guest Editor: Fairouz Kamareddine
Preface 183-188
GRZEGORZ BANCEREK and PIOTR RUDNICKI / A Compendium
of Continuous Lattices in MIZAR 189-224
418 CONTENTS TO VOLUME 29
Y VES BERTOT, NICOLAS MAGAUD and PAUL ZIMMERMANN /
A Proof of GMP Square Root 225-252
MARC BEZEM, DIMITRI HENDRIKS and HANS DE NIVELLE/
Automated Proof Construction in Type Theory Using Resolu-
253-275
tion
277-307
DIMITRI HENDRIKS / Proof Reflection in Cog
QUANG HUY NGUYEN, CLAUDE KIRCHNER and HELENE
KIRCHNER / External Rewriting for Skeptical Proof Assistants 309-336
VIRGILE PREVOSTO and DAMIEN DOLIGEZ / Algorithms and
Proofs Inheritance in the Foc Language 337-363
FREEK WIEDIJK / A New Implementation of Automath 365-387
MARKUS WENZEL and FREEK WIEDIJK / A Comparison of Mizar
and Isar 389-411
Author Index to Volume 29 413
Subject Index to Volume 99 415
Contents to Volume 29 417-418