本文に飛ぶ

年 〜
年

検索結果 23 件

An early history of recursive functions and computability : from Gödel to Turing : pbk [New ed.]

An early history of recursive functions and computability : from Gödel to Turing : pbk [New ed.]
紙図書
Rod AdamsDocent Pressc2011
全国の図書館
  • LCCQA9.615

Elementary induction on abstract structures

Elementary induction on abstract structures
紙図書
Yiannis N. MoschovakisDover Publications2008
全国の図書館
  • LCCQA9.615

Recursive functionals / Luis E. Sanchis. (Studies in logic and the foundations of mathematics ; v. 131)

Recursive functionals / Luis E. Sanchis. (Studies in logic and the foundations of mathematics ; v. 131)
紙図書
North-Hollandc1992.<MA41-A80>
国立国会図書館
  • LCCQA9.615

Super-recursive algorithms

Super-recursive algorithms
紙図書
Mark BurginSpringerc2005
全国の図書館
  • LCCQA9.615

Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen

Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen
紙図書
Michael DeutschUniversitätsdruckerei Bremenc2003
全国の図書館
  • LCCQA9.615

Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems

Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems
紙図書
Roman MurawskiKluwer Academic Publishersc1999
全国の図書館
  • LCCQA9.615

Automorphisms of the lattice of recursively enumerable sets

Automorphisms of the lattice of recursively enumerable sets
紙図書
Peter CholakAmerican Mathematical Society1995
全国の図書館
  • LCCQA3 QA9.615

Recursive algorithms

Recursive algorithms
紙図書
Richard J. LorentzAblex Pub. Corp.1994
全国の図書館
  • LCCQA9.615

Recursive functionals

Recursive functionals
紙図書
Luis E. SanchisNorth-Holland1992
全国の図書館
  • LCCQA9.615

Computations in higher types / Johan Moldestad. (Lecture notes in mathematics ; 574)

Computations in higher types / Johan Moldestad. (Lecture notes in mathematics ; 574)
紙図書
Springer-Verlag1977.<MA41-112>
国立国会図書館
  • LCCQA3 QA9.615

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets : U.S. : Germany

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets : U.S. : Germany
紙図書
Robert I. SoareSpringer-Verlagc1987
全国の図書館
  • LCCQA9.615

Theory of recursive functions and effective computability : pbk

Theory of recursive functions and effective computability : pbk
紙図書
Hartley Rogers, JrMIT Press1987
全国の図書館
  • LCCQA9.615

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets : pbk

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets : pbk
紙図書
Robert I. SoareSpringer-Verlag[20--], c1987
全国の図書館
  • LCCQA9.615

Subrecursion : functions and hierarchies : U.S.

Subrecursion : functions and hierarchies : U.S.
紙図書
H.E. RoseClarendon Press1984
全国の図書館
  • LCCQA9.615

Индексные множества и степени некоторых классов рекурсивно перечислимых множеств

Индексные множества и степени некоторых классов рекурсивно перечислимых множеств
紙図書
С. КаллибековИзд-во "Фан" Узбекской ССР1983
全国の図書館
  • LCCQA9.615

Computability & unsolvability : pbk.

Computability & unsolvability : pbk.
紙図書
Martin DavisDover Publicationsc1982
全国の図書館
  • LCCQA9.615

Computability & unsolvability : pbk Dover ed

Computability & unsolvability : pbk Dover ed
紙図書
Martin DavisDover1982
全国の図書館
  • LCCQA9.615

Recursive functions in computer theory : Halstead Press : Ellis Horwood

Recursive functions in computer theory : Halstead Press : Ellis Horwood
紙図書
Rózsa Péter ; [translated by I. Juhász]Ellis Horwoodc1981
全国の図書館
  • LCCQA9.615

Вычислимое и невычислимое

Вычислимое и невычислимое
紙図書
Ю.И. Манин"Советское радио"1980
全国の図書館
  • LCCQA9.615

Computations in higher types : Berlin : New York

Computations in higher types : Berlin : New York
紙図書
Johan MoldestadSpringer-Verlag1977
全国の図書館
  • LCCQA3 QA9.615
RSS