Invited Talk 1
in
Workshop: The Role of Mathematical Reasoning in General Artificial Intelligence
Theorem Proving and Artificial Intelligence - A Brief Introduction
Josef Urban
Abstract: