کتاب های Lawrence C. Paulson (auth.)
![Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings](http://cdn.ketabkoo.com/covers/3/387219-n.jpg)
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Lawrence C. Paulson (auth.), 2012![Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings](http://cdn.ketabkoo.com/covers/3/387220-n.jpg)
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Lawrence C. Paulson (auth.), 2012![Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings](http://cdn.ketabkoo.com/covers/4/430672-n.jpg)
Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Lawrence C. Paulson (auth.), 2013![Security Protocols: 6th International Workshop Cambridge, UK, April 15–17, 1998 Proceedings](http://cdn.ketabkoo.com/covers/8/890993-n.jpg)
Security Protocols: 6th International Workshop Cambridge, UK, April 15–17, 1998 Proceedings
Lawrence C. Paulson (auth.), 1999![Security Protocols: 6th International Workshop Cambridge, UK, April 15–17, 1998 Proceedings](http://cdn.ketabkoo.com/covers/8/890994-n.jpg)
Security Protocols: 6th International Workshop Cambridge, UK, April 15–17, 1998 Proceedings
Lawrence C. Paulson (auth.), 1999![Isabelle: A Generic Theorem Prover](http://cdn.ketabkoo.com/covers/8/890992-n.jpg)