Koleksi : e-Article Oxford Journal
	| Semua | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | Ada 1514 dokumen yang dimulai dengan Judul '_' Infinite Computations and a Hierarchy in Δ3 Reconsidered Pengarang: Branislav Rovan and L'uboŠ Steskal | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 175-176 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  The Uniformity Principle for Σ-definability Pengarang: Margarita Korovina and Oleg Kudinov | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 159-174 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Enumeration Degrees and Enumerability of Familes Pengarang: Iskander Kalimullin | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 151-158 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  The Settling Time Reducibility Ordering and Δ02 Sets Pengarang: Barbara F. Csima | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 145-150 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Existentially Closed Models and Conservation Results in Bounded Arithmetic Pengarang: A. Cordón-Franco, A. Fernández-Margarit, and F. F. Lara-Martín | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 123-143 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Subexponential Time and Fixed-parameter Tractability: Exploiting the Miniaturization Mapping Pengarang: Yijia Chen and Jörg Flum | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 89-122 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Pseudojumps and Formula Classes Pengarang: Douglas Cenzer, Geoffrey Laforte, and Guohua Wu | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 77-87 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Borel Complexity of Topological Operations on Computable Metric Spaces Pengarang: Vasco Brattka and Guido Gherardi | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 45-76 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice Pengarang: Andrej Bauer and Christopher A. Stone | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 17-43 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  K-Triviality of Closed Sets and Continuous Functions Pengarang: George Barmpalias, Douglas Cenzer, Jeffrey B. Remmel, and Rebecca Weber | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 3-16 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Mundur   1 2 3 4 5 6 7 8 9 10  Maju