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