ebook img
Author:Pozzato G.
Language:English
Release year:2010
File size:1.847 MB
Number of page:209

Similar Conditional and Preferential Logics: Proof Methods and Theorem Proving