Journal of Applied Logic, Volume 2

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics