Top 1200 alvaro rocha ana maria correia sandor costanzo luis paulo reis eds PDF Book Page 45

book image

Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Harald König, Michael Löwe (auth.), Adenilso Simao, Carroll Morgan (eds.)
·212 Pages
·2011
·2.766 MB

book image

Paraconsistency: The Logical Way to the Inconsistent: Proceedings of the World Congress Held in São Paulo

Walter A. Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano (Editors)
·577 Pages
·2002
·35.755 MB

1
444546
50