๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 7406 || Computer-Aided Cryptographic Proofs

โœ Scribed by Beringer, Lennart; Felty, Amy


Book ID
120519665
Publisher
Springer Berlin Heidelberg
Year
2012
Weight
283 KB
Category
Article
ISBN
3642323472

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


[Lecture Notes in Computer Science] Theo
โœ Hurd, Joe; Melham, Tom ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ German โš– 436 KB

This Volume Constitutes The Proceedings Of The 18th International Conference On Theorem Proving In Higher Order Logics (tphols 2005), Which Was Held During22โ€“25august2005inoxford,uk.tpholscoversallaspectsoftheorem Proving In Higher Order Logics As Well As Related Topics In Theorem Proving And Veri?c