Artikel
Open Access
Another look at automated theorem-proving II
-
Neal Koblitz
Veröffentlicht/Copyright:
25. Januar 2012
Received: 2011-10-30
Revised: 2011-12-01
Accepted: 2011-12-05
Published Online: 2012-01-25
Published in Print: 2012-February
© 2012 by Walter de Gruyter Berlin Boston
Schlagwörter für diesen Artikel
Automated theorem-proving;
computer-assisted proof;
proof checking;
public key cryptography;
encryption
Creative Commons
BY-NC-ND 3.0
