Next:
Motivation: Erdös will not
Up:
Automated Reasoning for Mizar
Previous:
Automated Reasoning for Mizar
Structure of the talk
Motivation: Erdös will not fit in your head.
The Data driven approach in AI
Automated Reasoning and AI over Mizar
Some demos
Josef Urban 2011-01-14