Generating Inference Systems for Non Classical Logics

project number
H 191 Charlotte-Bühler-Programm
project lead
decision board
2003/06/23

project details