Automated Deduction in Classical and Non-Classical Logics
de Ricardo Caferra, Gernot Salzer
Ediciones (1)
- Automated Deduction in Classical and Non-Classical Logics (2003)
Springer · inglés · ISBN 9783540465089
de Ricardo Caferra, Gernot Salzer
Springer · inglés · ISBN 9783540465089