New computational paradigms : changing conceptions of what is computable

QR Code

New computational paradigms : changing conceptions of what is computable

Bibliographic Details
Main Authors:	Cooper, S. B. [ (S. Barry)] (Author), Lowe, Benedikt (Author), Sorbi, Andrea , 1956- (Author)
Format:	Book
Published:	New York : Springer , c2008
Subjects:	Computable functions

Similar Items

Computability theory & automata theory [
by: Plante, Kristy, et al.
Published: (2012)

Computability theory : an introduction to recursion theory
by: Enderton, Herbert B.
Published: (2011)

Mathematical logic for computer science
by: Ben-Ari, M. , 1948-
Published: (1993)

Foundations of algorithms using C++ pseudocode
by: Neapolitan, Richard E., et al.
Published: (2004)

Foundations of algorithms
by: Neapolitan, Richard E., et al.
Published: (2011)

Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games
by: Ensley, Douglas E., et al.
Published: (2006)

Computability and logic
by: Boolos, George, et al.
Published: (1980)

A first course in computability theory [
by: Plante, Kristy
Published: (2012)

Handbook of satisfiability [
by: Biere, Armin
Published: (2009)

Fuzzy rationality : a critique and methodological unity of classical, bounded and other rationalities
by: Dompere, K. K.
Published: (2009)

Number [electronic resource] : the language of science
by: Dantzig, Tobias , 1884-1956, et al.
Published: (2005)

Algorithm and data structure : concepts & applications [
by: Gaither, Melonie
Published: (2014)

Automata and computability
by: Kozen, Dexter , 1951-
Published: (1997)

Scientific computing and its applications [
by: Cousins, Lorrie
Published: (2014)

An introduction to theory of computation [
by: Malone, Sherwood
Published: (2014)

Media theory : interdisciplinary applied mathematics
by: Eppstein, David, et al.
Published: (2008)

How to think about algorithms
by: Edmonds, Jeff , 1963-
Published: (2008)

Using fuzzy logic
by: Yan, Jun, et al.
Published: (1994)

Pengantar logik
by: Hamidah Abd Hamid
Published: (1991)

Pendekatan konstruktivisme radikal dalam pendidikan Matematik
by: Nik Azis Nik Pa
Published: (1999)

Pengantar logik dan pengabstrakan untuk sains komputer
by: Rosni Abdullah, et al.
Published: (2000)

Mathematical logic
by: Chiswell, Ian , 1948-, et al.
Published: (2007)

Handbook of mathematical induction : theory and application
by: Gunderson, David S.
Published: (2011)

المنطق الرمزي نشأته وتطوره
by: زيدان، محمود فهمى, et al.
Published: (2007)

Introduction to mathematical logic
by: Mendelson, Elliott
Published: (1979)

Basic discrete mathematics : logic,set heory,and probability
by: Kohar, Richard

Fuzzy logic for beginners
by: Mukaidono, Masao , 1942-
Published: (2001)

An introduction to algorithmic information theory [
by: Tolbert, Sheree
Published: (2014)

An introduction to lambda calculus [
by: Ricci, Raven
Published: (2014)

Computation as logic
by: Lalement, Rene
Published: (1993)

Computational intelligence paradigms : theory and applications using MATLAB
by: Sumathi, S. , 1968-, et al.
Published: (2010)

Automata, computability and complexity : theory and applications
by: Rich, Elaine
Published: (2008)

Advanced intelligent paradigms in computer games
by: Baba, N. [ (Norio)] , 1946-, et al.
Published: (2007)

The language of machines an introduction to computability and formal languages
by: Floyd, Robert W.
Published: (1993)

Subkelas fungsi univalen yang dijana oleh pengoperasi kamiran
by: Zabidin Salleh
Published: (2015)

Introduction to functional programming [
by: Bell, Alia
Published: (2014)

Discrete structures, logic, and computability
by: Hein, James L.
Published: (2010)

Software paradigms
by: Kaisler, Stephen H.
Published: (2005)

Functional foods of the east
by: Ho, Chi-Tang , 1944-, et al.
Published: (2011)

Pulmonary function testing : a practical approach
by: Wanger, Jack
Published: (2012)