A proof of Bertrand's postulate.

Andrea Asperti Wilmer Ricciotti

Published in: J. Formaliz. Reason. (2012)

Keyphrases

belief change
theorem proving
decision trees
proof planning
real time
search engine
multimedia
web services
reinforcement learning
expert systems
relational databases
belief revision