The P=NP question and godel'™s lost letter

The P=NP question and godel's lost letter

Show other versions (2)

Saved in:

Bibliographic Details
Main Author:	Lipton, Richard J. (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Boston, MA Springer 2010.
Subjects:	Computer science Information theory Computer software Algorithms Logic, Symbolic and mathematical
Online Access:	Click here to view the full text content
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The P=NP question and Godel's lost letter
by: Lipton, Richard J.
Published: (2010)

The P=NP question and Godel's lost letter
by: Lipton, Richard J.
Published: (2010)

Frege and Godel : two fundamental texts in mathematical logic /
by: Godel, Kurt
Published: (2001)

P, NP, and NP-completeness : the basics of computational complexity /
by: Goldreich, Oded
Published: (2010)

Frege and Godel : two fundamental texts in mathematical logic /
by: Godel, Kurt
Published: (2001)

Mathematics, computer science and logic - a never ending story : the bruno buchberger festschrift /
Published: (2013)

Proofs and algorithms : an introduction to logic and computability /
by: Dowek, Gilles
Published: (2011)

Mathematics of discrete structures for computer science /
by: Pace, Gordon J.
Published: (2012)

Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
Published: (2013)

Recent trends in algebraic development techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
Published: (2013)

Recent trends in algebraic development techniques : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers /
Published: (2012)

New Computational Paradigms Changing Conceptions of What is Computable /
Published: (2008)

People, problems, and proofs : essays from Gödel's lost letter: 2010 /
by: Lipton, Richard J., et al.
Published: (2013)

The complexity of valued constraint satisfaction problems /
by: Živný, Stanislav
Published: (2012)

Logical foundations of mathematics and computational complexity : a gentle introduction /
by: Pudlak, Pavel
Published: (2013)

Formal theories of information from shannon to semantic information theory and general concepts of information /
Published: (2009)

Natural deduction, hybrid systems and modal logics
by: Indrzejczak, Andrzej
Published: (2010)

Linear logic in computer science /
Published: (2004)

A Modern Perspective on Type Theory From its Origins until Today /
by: Kamareddine, Fairouz
Published: (2005)

The logic of categorial grammars A deductive account of natural language syntax and semantics /
by: Moot, Richard
Published: (2012)

Adapting proofs-as-programs the curry-howard protocol /
by: Poernomo, Iman Hafiz
Published: (2005)

Approximation algorithms for NP-hard problems
Published: (1997)

Approximation algorithms for NP-hard problems
Published: (1997)

Mathematical logic foundations for information science /
by: Li, Wei
Published: (2010)

Mathematical logic for computer science /
by: Ben-Ari, Mordechai
Published: (2012)

Logica universalis : towards a general theory of logic /
by: Beziau, Jean-Yves
Published: (2005)

Finite model theory /
by: Ebbinghaus, Heinz-Dieter

Notes on set theory
by: Moschovakis, Yiannis
Published: (2006)

A concise introduction to mathematical logic
by: Rautenberg, Wolfgang
Published: (2006)

Elementary logics : a procedural perspective /
by: Gabbay, Dov M.
Published: (1998)

Mathematical logic : foundations for information science /
by: Li, Wei
Published: (2014)

A concise introduction to mathematical logic
by: Rautenberg, Wolfgang
Published: (2010)

Fork algebras in algebra, logic and computer science /
by: Frias, Marcelo Fabian
Published: (2002)

Methods of cut-elimination
by: Leitsch, Alexander
Published: (2011)

Automata, logics, and infinite games /
Published: (2002)

The nature of computation. logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
Published: (2013)

Logical foundations of computer science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
by: Artemov, Sergei N.
Published: (2007)

Mathematical problems from applied logic I logics for the XXIst century /
Published: (2006)

Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers /
by: Schroder, Bernd S. W.
Published: (2010)

Lectures in logic and set theory : mathematical logic /
by: Tourlakis, George
Published: (2003)