Filter

Computable Functions

197 books found

Computability and logic
Computability and logic

by George Boolos, Richard C. Jeffrey

1974 19 ed.
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

by Hans Hermes

1961 11 ed.
Discrete structures, logic, and computability
Discrete structures, logic, and computability

by James L. Hein

1994 8 ed.
Noncommutative Polynomial Algebras of Solvable Type and Their Modules
Noncommutative Polynomial Algebras of Solvable Type and Thei...

by Huishi Li

2021 5 ed.
Enumerability, Decidability, Computability
Enumerability, Decidability, Computability

by Hans Hermes, Gabor T. Herman

1965 5 ed.
Theory of Computation
Theory of Computation

by George Tourlakis

2012 5 ed.
Computability and complexity theory
Computability and complexity theory

by Steven Homer, Alan L. Selman

2001 5 ed.
Theory of recursive functions and effective computability
Theory of recursive functions and effective computability

by Hartley Rogers

1957 5 ed.
Computability & unsolvability
Computability & unsolvability

by Davis, Martin

1958 5 ed.
Algebraic Computability and Enumeration Models
Algebraic Computability and Enumeration Models

by Cyrus F. Nourani

2016 4 ed.
Introduction to Scientific, Symbolic, and Graphical Computation
Introduction to Scientific, Symbolic, and Graphical Computat...

by Eugene Fiume

2018 4 ed.
Computability
Computability

by Richard L. Epstein, Richard .L. Epstein

1988 4 ed.
Automata and Computability
Automata and Computability

by Dexter C. Kozen

2012 4 ed.
Invitation to Applied Category Theory
Invitation to Applied Category Theory

by Brendan Fong, David I. Spivak

2019 4 ed.
Effective Mathematics of the Uncountable
Effective Mathematics of the Uncountable

by Noam Greenberg, Denis Hirschfeldt

2013 4 ed.
Initial computability, algebraic specifications, and partial algebras
Initial computability, algebraic specifications, and partial...

by Horst Reichel

1987 4 ed.
A practical guide to pseudospectral methods
A practical guide to pseudospectral methods

by Bengt Fornberg

1996 4 ed.
Data Streams
Data Streams

by Charu C. Aggarwal

2006 3 ed.
Computable Analysis
Computable Analysis

by Klaus Weihrauch

2000 3 ed.
Higher-Order Computability
Higher-Order Computability

by John Longley, Dag Normann

2015 3 ed.