Journal of Applied Non-Classical Logics, Volume 6

Volume 6, Number 1, 1996

Special Issue: 1993 AAAI Fall Symposium on Automated Deduction in Non-Standard Logics

Volume 6, Number 2, 1996

Volume 6, Number 3, 1996

Volume 6, Number 4, 1996

a service of Schloss Dagstuhl - Leibniz Center for Informatics