Larry Wos, Dolph Ulrich, Branden Fitelson:
Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus.
107-124
Leila Amgoud, Claudette Cayrol:
Inferring from Inconsistency in Preference-Based Argumentation Frameworks.
125-169
G. Mashevitzky:
Unification Types of Completely Regular Semigroups.
171-182
Volume 29,
Number 3-4,
2002
Fairouz Kamareddine:
Special Issue Mechanizing and Automating Mathematics: In honour of N.G. de Bruijn - Preface.
183-188