Isabelle/HOL: A Proof Assistant for Higher-Order Logic pdf, epub, mobi
Par frey jeffrey le jeudi, février 22 2018, 00:31 - Lien permanent
Tobias Nipkow,Lawrence C. Paulson,Markus Wenzel: Isabelle/HOL: A Proof Assistant for Higher-Order Logic
____________________________
Author: Tobias Nipkow,Lawrence C. Paulson,Markus Wenzel
Number of Pages: 226 pages
Published Date: 01 May 2002
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Country: Berlin, Germany
Language: English
ISBN: 9783540433767
Download Link: Click Here
____________________________