Publication
Detail
Publication date: 01/01/2012Automated and human proofs in general mathematics: An initial comparison
Publisher | Springer |
---|---|
Series | Lecture Notes in Computer Science |
Volume | 7180 |
Publisher | Springer |
Series | Lecture Notes in Computer Science |
Volume | 7180 |