Detail

Publication date: 01/01/2012

Automated and human proofs in general mathematics: An initial comparison

Authors

Jesse Alama, Andrei Voronkov, Josef Urban,

Publisher Springer
Series Lecture Notes in Computer Science
Volume 7180
Publisher Springer
Series Lecture Notes in Computer Science
Volume 7180