Logical Reasoning with Diagrams

Mateja Jamnik

2021The MIT Press eBooks258 citationsDOI

Topics & Concepts

Computer scienceProgramming languageLogic, Reasoning, and KnowledgeSemantic Web and OntologiesAdvanced Algebra and Logic