Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 41 - 50 of about 50 related to Recursively Enumerable Sets and Degrees: A Study of Computable Functions and ....   

Classical and New Paradigms of Computation and their Complexity Hierarchies ...

Benedikt Löwe, Boris Piwinger, Thoralf Räsch - Computers - 2007 - 260 pages
The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach complexity in a holistic way ...
Limited preview - About this book

Parameterized Complexity Theory

J. Flum, M. Grohe - Computers - 2006 - 495 pages
This book is a state-of-the-art introduction into both algorithmic techniques for fixed-parameter tractability and the structural theory of parameterized complexity classes. It ...
Limited preview - About this book

Theory and Applications of Satisfiability Testing – SAT 2008: 11th ...

Hans Kleine Büning, Zhao Xishunb - Mathematics - 2008 - 305 pages
This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis?ability Testing (SAT 2008). The series of International ...
Limited preview - About this book

Algorithmic Information Theory: Mathematics of Digital Information Processing

Peter Seibt - Computers - 2007 - 443 pages
Algorithmic Information Theory treats the mathematics of many important areas in digital information processing. It has been written as a read-and-learn book on concrete ...
Limited preview - About this book

Mechanical Theorem Proving in Geometries: Basic Principles

Wen-tsün Wu - Computers - 1994 - 288 pages
This book is a translation of Professor Wu's seminal Chinese book of 1984 on Automated Geometric Theorem Proving. The translation was done by his former student Dongming Wang ...
Limited preview - About this book

Automated Practical Reasoning: Algebraic Approaches

Jochen Pfalzgraf, Dongming Wang - Algebra - 1995 - 223 pages
This book presents a collection of articles on the general framework of mechanizing deduction in the logics of practical reasoning. Topics treated are novel approaches in the ...
Limited preview - About this book

Logical Foundations of Computer Science: International Symposium, LFCS 2009 ...

Sergei Artemov, Anil Nerode - Computers - 2009 - 469 pages
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in ...
Limited preview - About this book

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the ...

Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner - Mathematics - 2009 - 245 pages
This Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthday, contains 15 papers, written by friends and colleagues, many of whom ...
Limited preview - About this book

Theory and Applications of Satisfiability Testing - SAT 2009: 12th ...

Oliver Kullmann - Computers - 2009 - 540 pages
This book constitutes the refereed proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing, SAT 2009, held in Swansea, UK, in June ...
Limited preview - About this book

The Pillars of Computation Theory: State, Encoding, Nondeterminism

Arnold L. Rosenberg - Computers - 2009 - 326 pages
The abstract branch of theoretical computer science known as Computation Theory typically appears in undergraduate academic curricula in a form that obscures both the ...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search