Computability theory

Computability theory

Saved in:

Bibliographic Details
Main Author:	Cooper, S. Barry
Format:	Unknown
Published:	Boca Raton Chapman & Hall/CRC 2004
Series:	Chapman & Hall/CRC mathematics
Subjects:	Computable functions
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Theory of recursive functions and effective computability
by: Rogers, Hartley Jr
Published: (1987)

The theory of computability programs, machines, effectiveness, and feasibility
by: Sommerhalder, R.
Published: (1988)

New computational paradigms changing conceptions of what is computable
Published: (2008)

Recursive functions in computer theory
by: Peter, Rozsa 1905-
Published: (1981)

اساسيات البرمجة Programming basics
Published: (2004)

Mathematical logic and computability
by: Keisler, H. Jerome
Published: (1996)

Computability in context computation and logic in the real world
Published: (2011)

Logic and computation interactive proof with Cambridge LCF
by: Paulson, Lawrence C
Published: (1990)

Computability and models perspectives east and west
by: Cooper, S. B (S. Barry)
Published: (2003)

Logic and computer science
Published: (1990)

Soft computing in economics and finance
by: Dymowa, Ludmila
Published: (2011)

Logic from computer science proceedings of a ... held November 13-17, 1989
Published: (1992)

Computational aspects of an order-sorted logic with term declarations
by: Schmidt-Schauss, M. Manfred
Published: (1989)

Proff theory
by: Takeuti, G
Published: (1975)

Proof theory
by: Takeuti, Gaisi 1926-
Published: (1975)

Model Theory
by: Keisler, H. Jerome
Published: (1990)

Finite model theory
by: Ebbinghaus, Heinz-Dieter 1939-
Published: (1995)

Introduction to the design and analysis of algorithms a strategic approach
Published: (2005)

The theory of probability an inquiry into the logical and mathematical foundations of the calculus of probability.
by: Reichenbach, Hans 1891-1953
Published: (1971)

Fundamentals of algorithms using Java pseudocode
by: Neapolitan, Richard E.
Published: (2004)

Automated grading of linear algebraic equations using n-GRAM method
by: Arsmah Ibrahim
Published: (2005)

Proof theory and logical complexity
by: Girard, Jean-Yves
Published: (1987)

Selected papers in proof theory
by: Mints, G. E
Published: (1992)

Computation, logic, philosophy a collection of essays
by: Wang, Hao
Published: (1990)

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

Topics in advanced scientific computation
by: Crandall, Richard E.
Published: (1996)

Fuzzy-logic-based programming
by: Chang, Chin-Liang
Published: (1997)

Model theory with applications to algebra and analysis
Published: (2008)

Hybrid logic and its proof-theory
by: Brauner, Torben
Published: (2011)

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

Algorithms
by: Dasgupta, Sanjoy
Published: (2008)

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

An introduction to mathematical logic and type theory to truth through proof
by: Andrews, P. B. (Peter Bruced1937-
Published: (1986)

An Introduction to Fuzzy Set Theory and Fuzzy Logic
by: Mohan, Chander 1939-
Published: (2020)

Genetic algorithms and genetic programming modern concepts and practical applications
Published: (2009)

Frontiers of combining systems proceedings of the ...held March 22 - 24, 2000
Published: (2000)

Predicate calculus and program semantics
by: Dijkstra, Edsger Wybe
Published: (1990)

Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.
Published: (1970)

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

Computability theorban introduction
by: Jones, Neil D
Published: (1973)