Author: Stephen Cook,Phuong Nguyen

Publisher: Cambridge University Press

ISBN: 1139486306

Category: Mathematics

Page: N.A

View: 8233

Author: Stephen Cook,Phuong Nguyen

Publisher: Cambridge University Press

ISBN: 1139486306

Category: Mathematics

Page: N.A

View: 8233

*A Gentle Introduction*

Author: Pavel Pudlák

Publisher: Springer Science & Business Media

ISBN: 3319001191

Category: Mathematics

Page: 695

View: 712

*Journeys Beyond the Turing Barrier*

Author: S. Barry Cooper,Mariya I. Soskova

Publisher: Springer

ISBN: 3319436694

Category: Computers

Page: 292

View: 4643

Author: Alfred North Whitehead,Bertrand Russell

Publisher: N.A

ISBN: N.A

Category: Logic, Symbolic and mathematical

Page: 167

View: 579

*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: 8241

Author: Qing Wang

Publisher: Logos Verlag Berlin GmbH

ISBN: 3832525637

Category: Computers

Page: 252

View: 5061

*Psychologie und Design der alltäglichen Dinge*

Author: Norman Don

Publisher: Vahlen

ISBN: 3800648105

Category: Business & Economics

Page: 320

View: 6126

*Proving Theorems for Complex Dynamics*

Author: André Platzer

Publisher: Springer Science & Business Media

ISBN: 9783642145094

Category: Mathematics

Page: 426

View: 4784

*Recent Insights and New Perspectives on Their Relation*

Author: Diderik Batens,Jean-Paul van Bendegem

Publisher: Springer Science & Business Media

ISBN: 9400928750

Category: Science

Page: 296

View: 8569

Author: Uwe Schöning

Publisher: Spektrum Akademischer Verlag

ISBN: 9783827410054

Category: Computers

Page: 200

View: 5641

*A Critical Exposition of Arguments for Intuitionism*

Author: Tomasz Placek

Publisher: Springer Science & Business Media

ISBN: 9401593159

Category: Science

Page: 220

View: 1811

*Logical Foundations for Specifying and Implementing Dynamical Systems*

Author: Raymond Reiter

Publisher: MIT Press

ISBN: 9780262264310

Category: Computers

Page: 448

View: 3572

*Categories, Lambdas and Dynamic Logic*

Author: Johan van Benthem

Publisher: MIT Press

ISBN: 9780262720243

Category: Language Arts & Disciplines

Page: 365

View: 9831

*Mathematical Foundations and Applications*

Author: Hend Dawood

Publisher: LAP Lambert Academic Publishing

ISBN: 3846501549

Category: Mathematics

Page: 128

View: 8200

Author: Frantz Fanon,Jean-Paul Sartre

Publisher: N.A

ISBN: 9783518371688

Category: Afrika - Entkolonialisierung

Page: 266

View: 9404

*8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : Selected Papers*

Author: Leszek Pacholski,Jerzy Tiuryn

Publisher: Springer

ISBN: N.A

Category: Computer logic

Page: 541

View: 934

Author: Serge Abiteboul,Richard Hull,Victor Vianu

Publisher: Addison Wesley

ISBN: N.A

Category: Computers

Page: 685

View: 7635

Author: Israel Kleiner

Publisher: Springer Science & Business Media

ISBN: 0817682686

Category: Mathematics

Page: 347

View: 1516

Author: Karin Breitman,Marco Antonio Casanova,Walt Truszkowski

Publisher: Springer Science & Business Media

ISBN: 184628581X

Category: Computers

Page: 327

View: 5910