Related Books
Language: en
Pages: 675
Pages: 675
Type: BOOK - Published: 2000-04-01 - Publisher: Elsevier
Provability, Computability and Reflection
Language: en
Pages: 373
Pages: 373
Type: BOOK - Published: 2013-06-07 - Publisher: MIT Press
Computer scientists, mathematicians, and philosophers discuss the conceptual foundations of the notion of computability as well as recent theoretical developmen
Language: en
Pages: 478
Pages: 478
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show
Language: en
Pages: 492
Pages: 492
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media
A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested i
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 2014-05-07 - Publisher: Newnes
Provability, Computability and Reflection
