C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Deduction and Arithmetic (Dagstuhl Seminar 13411).
Nikolaj Bjørner
Reiner Hähnle
Tobias Nipkow
Christoph Weidenbach
Published in:
Dagstuhl Reports (2013)
Keyphrases
</>
theorem proving
inference rules
databases
floating point
neural network
natural language
arithmetic operations
information systems
expert systems
special case
computer vision
theorem prover
data sets
automated theorem proving
interval arithmetic
deductive reasoning
collaborative e learning