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 94 dokumen yang dimulai dengan Judul 'S' Standard Logics Are Valuation-Nonmonotonic Pengarang: Mladen Pavičić and Norman D. Megill | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 959-982 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Synthesizing Monadic Predicates Pengarang: Carlo Meghini and Nicolas Spyratos | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 831-847 | 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 ::  Sequent Calculi for the Modal µ-Calculus over S5 Pengarang: Luca Alberucci | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 971-985 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Solutions to Some Open Problems on Totally Ordered Monoids Pengarang: Rostislav Horčík | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 977-983 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Syllogistic Logics with Verbs Pengarang: Lawrence S. Moss | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 947-967 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Speculative Image Computation for Distributed Symbolic Reachability Analysis Pengarang: Ming-Ying Chung and Gianfranco Ciardo | No. Panggil: Journal of Logic and Computation February 2011, 21 (3), p. 63-83 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  States on Bold Algebras: Categorical Aspects Pengarang: Roman Frič | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 465-477 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Structural Description of a Class of Involutive Uninorms via Skew Symmetrization Pengarang: Sándor Jenei | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 729-737 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Sequent calculi for induction and infinite descent Pengarang: James Brotherston and Alex Simpson | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1177-1216 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Mundur   1 2 3 4 5 6 7 8 9 10  Maju