Open AccessIsabelle/HOL
Author(s) -
Tobias Nipkow,
Lawrence C. Paulson,
Markus Wenzel
Publication year - 2002
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
DOI - 10.1007/3-540-45949-9
Subject(s) - hol , computer science , programming language
By reading, you can know the knowledge and things more, not only about what you get from people to people. Book will be more trusted. As this isabelle hol a proof assistant for higher order logic, it will really give you the good idea to be successful. It is not only for you to be success in certain life you can be successful in everything. The success can be started by knowing the basic knowledge and do actions.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom