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 87 dokumen yang dimulai dengan Judul 'E' 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 ::  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 ::  Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures Pengarang: Giuliano Grossi, Massimo Marchi, Enrico Pontelli, and Alessandro Provetti | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 697-715 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Efficiently Querying RDF(S) Ontologies with Answer Set Programming Pengarang: Giovambattista Ianni, Alessandra Martello, Claudio Panetta, and Giorgio Terracina | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 671-695 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Exemplaric Expressivity of Modal Logics Pengarang: Bart Jacobs and Ana Sokolova | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1041-1068 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Eskolemization in Intuitionistic Logic Pengarang: Matthias Baaz and Rosalie Iemhoff | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 625-638 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Exploring the Computational Content of the Infinite Pigeonhole Principle Pengarang: Diana Ratiu and Trifon Trifonov | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 329-350 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Expressing versus Proving: Relating Forms of Complexity in Logic Pengarang: Antonina Kolokolova | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 267-280 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Embedding countable partial orderings in the enumeration degrees and the ω-enumeration degrees Pengarang: Mariya I. Soskova and Ivan N. Soskov | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 927-952 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Embedding distributive lattices in the Σ02 enumeration degrees Pengarang: Hristo Ganchev and Mariya Soskova | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 779-792 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Mundur   1 2 3 4 5 6 7 8 9  Maju