Filters

Advanced Search Browse by Genre

Found 6,478 results for "Computational logic"

The Essential Turing
The Essential Turing

by Alan Mathison Turing, Jack Copeland

The "computable" numbers may be described briefly as the real numbers whose expressions as a decimal are calculable by f...

2002 6 ed.
Computability and logic
Computability and logic

by George Boolos, Richard C. Jeffrey

An enumerable set is one whose members can be enumerated: arranged in a single list with a first entry, a second entry, ...

1974 19 ed.
Computational logic
Computational logic

by Ulrich Berger, Helmut Schwichtenberg

The aim of this chapter is to give an introduction to some recent work on the application of game semantics to the study...

1999 3 ed.