Related Books
Language: en
Pages: 161
Pages: 161
Type: BOOK - Published: 2015-05-05 - Publisher: Cambridge University Press
Computation, calculation, algorithms - all have played an important role in mathematical progress from the beginning - but behind the scenes, their contribution
Language: en
Pages: 424
Pages: 424
Type: BOOK - Published: 1998 - Publisher: World Scientific
This book provides a concise and modern introduction to Formal Languages and Machine Computation, a group of disparate topics in the theory of computation, whic
Language: en
Pages: 302
Pages: 302
Type: BOOK - Published: 1987 - Publisher:
This book is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is
Language: en
Pages: 609
Pages: 609
Type: BOOK - Published: 2009-04-20 - Publisher: Cambridge University Press
New and classical results in computational complexity, including interactive proofs, PCP, derandomization, and quantum computation. Ideal for graduate students.
Language: en
Pages: 632
Pages: 632
Type: BOOK - Published: 1978 - Publisher: Prentice Hall
