Les cookies assurent le bon fonctionnement de nos services. En utilisant ces derniers, vous acceptez l'utilisation des cookies.
Caferra, Ricardo and
Salzer, Gernot, eds. 2000.
Automated Deduction in Classical and Non-Classical Logics: Selected Papers. Berlin: Springer.