Skip to content

SAS

Seminar

Automated and Human Proofs in General Mathematics: An Initial Comparison

Alama, J (Universidade Nova de Lisboa (UNL))
Tuesday 24 January 2012, 17:00-17:30

Seminar Room 1, Newton Institute

Presentation

[pdf]

Video

Your browser can’t play this video. You do not appear to have a flash player installed.
Please download flash player or choose an alternative format instead.

Get Adobe Flash player

Available Video Formats

Back to top ∧