7 电子书 Tobias Nipkow
Tobias Nipkow & Lawrence C. Paulson: Isabelle/HOL
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a dir …
PDF
英语
DRM
€64.09
Tobias Nipkow: Rewriting Techniques and Applications
This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full p …
PDF
英语
DRM
€57.90
Stefan Berghofer & Tobias Nipkow: Theorem Proving in Higher Order Logics
This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full …
PDF
英语
DRM
€57.77
