Invited Talk 6
in
Workshop: The Role of Mathematical Reasoning in General Artificial Intelligence

From Hammer to Scalpel: Progress in Automated Theorem Proving

Markus Rabe

Chat is not available.