Arithmetic as a Theory Modulo.

Gilles Dowek Benjamin Werner

Published in: RTA (2005)

Keyphrases

decision making
multimedia
computational complexity
computational model
theoretical basis
web pages
expert systems
artificial neural networks