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 97 dokumen yang dimulai dengan Judul 'I' 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 ::  Indifferent Sets Pengarang: Santiago Figueira, Joseph S. Miller, and André Nies | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 425-443 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Interaction-based Runtime Verification for Systems of Systems Integration Pengarang: Ingolf H. Krüger, Michael Meisinger, and Massimiliano Menarini | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 725-742 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics Pengarang: Hitoshi Kihara and Hiroakira Ono | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 823-875 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Information About a Given Entity: From Semantics Towards Automated Deduction Pengarang: Robert Demolombe and Luis Farińas del Cerro | No. Panggil: Journal of Logic and Computation December 2010, 20 (6), p. 1231-1250 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Intuitionistic Trilattice Logics Pengarang: Heinrich Wansing and Norihiro Kamide | No. Panggil: Journal of Logic and Computation December 2010, 20 (6), p. 1201-1229 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Interrogatives, Recursion, and Incompleteness Pengarang: Andrzej Wiśniewski and Jerzy Pogonowski | No. Panggil: Journal of Logic and Computation December 2010, 20 (6), p. 1187-1199 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Inductive Defense for Sceptical Semantics of Extended Argumentation Pengarang: D. D. Hanh, P. M. Dung, N. D. Hung, and P. M. Thang | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 307-349 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Introducing Preferences in Planning as Satisfiability Pengarang: Enrico Giunchiglia and Marco Maratea | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 205-229 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Intuitionistic Dual-intuitionistic Nets Pengarang: Olivier Laurent | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 561-587 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Mundur   1 2 3 4 5 6 7 8 9 10  Maju