Jump To : Overview | Titles | Subjects

Caferra, Ricardo.

Overview
Works: 5 works in 0 publications in 0 languages
Titles
Automated deduction in classical and non-classical logics = selected papers / by: Caferra, Ricardo.; Salzer, Gernot.; SpringerLink (Online service) (Language materials, printed)
 
 
Change password
Login