You're using an ancient browser to surf the modern web. Please update to the latest version (and don't use Internet Explorer!).

Leonardi.DB
a logical geometry project

Paulo A. S. Veloso

Paulo A. S. Veloso authored the following 2 sources, containing a total of 0 diagrams.

Veloso, Paulo A. S., and Sheila R. M. Veloso. 2008. “Methodical Construction of Symbolic Diagrams.” In Advances in Artificial Intelligence - SBIA 2008, edited by Gerson Zaverucha and Augusto Loureiro da Costa, 187–196. Berlin: Springer. (0 diagrams)
 
Veloso, Paulo A. S., and Walter Carnielli. 2004. “Logics For Qualitative Reasoning.” In Logic, Epistemology, and the Unity of Science, edited by Shahid Rahman, John Symons, Dov M. Gabbay, and Jean Paul Van Bendegem, 487–526. Dordrecht: Springer. (0 diagrams)
 
↑ Back to top ↑