Volume 39, Number 1, July 2007
Volume 39, Number 2, August 2007
Special Issue on User Interfaces in Theorem Proving
: A Graphical User Interface for Formal Proofs in Geometry.
: Visualizing SAT Instances and Runs of the DPLL Algorithm.
Volume 39, Number 3, October 2007
Special Issue on Reasoning in Description Logics
: Preface to Special Issue on Reasoning in Description Logics.
Volume 39, Number 4, December 2007