7 results on '"Omodeo, Eugenio G."'
Search Results
2. An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics
3. A ‘Theory’ Mechanism for a Proof-Verifier Based on First-Order Set Theory
4. Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View
5. Instructing Equational Set-Reasoning with Otter
6. Embedding finite sets in a logic programming language
7. Decision procedures for set/hyperset contexts
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.