Author books / Книги автора Gerwin Klein (auth.) Matt Kaufmann Lawrence C. Paulson (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Gerwin Klein (auth.) Matt Kaufmann Lawrence C. Paulson (eds.)

book Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

pdf

Author: Gerwin Klein (auth.) Matt Kaufmann Lawrence C. Paulson (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

pdf

Author: Gerwin Klein (auth.) Matt Kaufmann Lawrence C. Paulson (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0