Logic, Algebra, and Geometry at the Foundation of Computer Science.
Tony HoareAlexandra MendesJoão F. FerreiraPublished in: FMTea (2019)
Keyphrases
- computer science
- boolean algebra
- lecture notes
- set theory
- relation algebra
- logic programming
- algebraic structure
- artificial intelligence
- three dimensional
- computer scientists
- data model
- data mining
- query language
- researchers and practitioners
- asynchronous circuits
- social sciences
- predicate logic
- algebraic expressions
- machine learning
- algebraic operators
- relational algebra
- selected papers
- automated reasoning
- management science
- modal logic
- neural network
- computer engineering
- applied mathematics
- information systems
- computational properties
- logical framework
- multi valued
- database
- theoretical foundation