Journal of Applied Logic, Volume 2

Volume 2, Number 1, March 2004

The Sixth International Workshop on Deontic Logic in Computer Science

Volume 2, Number 2, June 2004

Variants of Logics: from HOL to the calculus of constructions to teaching mathematical proofs on computers

Volume 2, Number 3, September 2004

Neural-symbolic Systems

Volume 2, Number 4, December 2004

CMSRA
a service of Schloss Dagstuhl - Leibniz Center for Informatics