Cryptology ePrint Archive: Report 2011/485

Available versions in chronological order

20110910:014736 (posted 10-Sep-2011 01:47:36 UTC): Another Look at Automated Theorem-Proving. II; Neal Koblitz; Publication Info: not submitted yet

[ Cryptology ePrint archive ]