17 results on '"Viana, Petrucio"'
Search Results
2. Decomposition by maxclique separators
3. XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011)
4. Propositional Dynamic Logic with Storing, Recovering and Parallel Composition
5. On Fork Arrow Logic and Its Expressive Power
6. Introducing Polymodal Neighbourhood Logics
7. On graph reasoning
8. A note on proofs with graphs
9. Beyond Counting:Measuring Diagram Intensity in Mathematical Research Papers
10. Reasoning with Graphs
11. Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications
12. Decomposition by maxclique separators
13. Taming the Irrational Through Musical Diagrams – from Boethius to Oresme and Nemorarius
14. Introducing the Diagrammatic Semiotic Mode
15. Perception of Node-Link Diagrams: The Effect of Layout on the Perception of Graph Properties
16. On the Cognitive Potential of Derivative Meaning in Aristotelian Diagrams
17. Schopenhauer’s Partition Diagrams and Logical Geometry
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.