Author: Stephen Cook,Phuong Nguyen

Publisher: Cambridge University Press

ISBN: 1139486306

Category: Mathematics

Page: N.A

View: 4562

Author: Stephen Cook,Phuong Nguyen

Publisher: Cambridge University Press

ISBN: 1139486306

Category: Mathematics

Page: N.A

View: 4562

*A Gentle Introduction*

Author: Pavel Pudlák

Publisher: Springer Science & Business Media

ISBN: 3319001191

Category: Mathematics

Page: 695

View: 8754

*A Gentle Introduction*

Author: Pavel Pudlák

Publisher: Springer Science & Business Media

ISBN: 3319001191

Category: Mathematics

Page: 695

View: 4867

Author: André Platzer

Publisher: Springer

ISBN: 3319635883

Category: Mathematics

Page: 639

View: 5601

*Journeys Beyond the Turing Barrier*

Author: S. Barry Cooper,Mariya I. Soskova

Publisher: Springer

ISBN: 3319436694

Category: Computers

Page: 292

View: 5325

Author: Alfred North Whitehead,Bertrand Russell

Publisher: N.A

ISBN: N.A

Category: Logic, Symbolic and mathematical

Page: N.A

View: 9274

Author: Johan F.A.K. van Benthem,Alice ter Meulen

Publisher: Elsevier

ISBN: 9780444537270

Category: Mathematics

Page: 1168

View: 487

*Foundations of Automatic Theorem Proving, Second Edition*

Author: Jean H. Gallier

Publisher: Courier Dover Publications

ISBN: 0486780821

Category: Computers

Page: 528

View: 3793

*A Historical Perspective*

Author: Radim Belohlávek,Joseph W. Dauben,George J. Klir

Publisher: Oxford University Press

ISBN: 0190200014

Category: Mathematics

Page: 544

View: 3569

Author: John Harrison

Publisher: Cambridge University Press

ISBN: 0521899575

Category: Computers

Page: 681

View: 2449

Author: Richard Lassaigne,Michel de Rougemont

Publisher: Springer Science & Business Media

ISBN: 0857293923

Category: Computers

Page: 361

View: 8961

Author: N.A

Publisher: Elsevier

ISBN: 9780080466637

Category: Mathematics

Page: 1218

View: 3279

*International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings*

Author: Sergei Artemov,Anil Nerode

Publisher: Springer

ISBN: 3319276832

Category: Mathematics

Page: 407

View: 5074

Author: Qing Wang

Publisher: Logos Verlag Berlin GmbH

ISBN: 3832525637

Category: Computers

Page: 252

View: 2434

Author: Serge Abiteboul,Richard Hull,Victor Vianu

Publisher: Addison Wesley

ISBN: N.A

Category: Computers

Page: 685

View: 4804

*Proving Theorems for Complex Dynamics*

Author: André Platzer

Publisher: Springer Science & Business Media

ISBN: 9783642145094

Category: Mathematics

Page: 426

View: 3074

Author: Petr Cintula,Christian G Fermueller,Carles Noguera

Publisher: N.A

ISBN: 9781848901933

Category: Mathematics

Page: 384

View: 3154

Author: Willard Van Orman Quine

Publisher: Harvard University Press

ISBN: 9780674571761

Category: Philosophy

Page: 333

View: 6815

Author: Michael R. Genesereth,Nils J. Nilsson

Publisher: Morgan Kaufmann

ISBN: 0128015543

Category: Computers

Page: 406

View: 4189

*Tackling Complexity in the Heart of Software*

Author: Eric Evans

Publisher: Addison-Wesley Professional

ISBN: 0321125215

Category: Computers

Page: 529

View: 2223