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 71 dokumen yang dimulai dengan Judul 'M' Multi-modal and Temporal Logics with Universal Formula—Reduction of Admissibility to Validity and Unification Pengarang: V. Rybakov | No. Panggil: Journal of Logic and Computation August 2008, 18 (4), p. 509-519 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Modal Operators over Constructive Logic Pengarang: Evgeny Yu. Sherkhonov | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 815-829 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Monotonic Answer Set Programming Pengarang: Martin Gebser, Mona Gharib, Robert Mercer, and Torsten Schaub | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 539-564 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Multimedia Interpretation for Dynamic Ontology Evolution Pengarang: Silvana Castano, Irma Sofia Espinosa Peraldi, Alfio Ferrara, Vangelis Karkaletsis,dll | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 859-897 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Max-based Prioritized Information Fusion without Commensurability Pengarang: Salem Benferhat, Sylvain Lagrue, and Julien Rossit | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1577-1610 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Model-theoretic and Computational Properties of Modal Dependence Logic Pengarang: Merlijn Sevenster | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1157-1173 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Modelling Judicial Context in Argumentation Frameworks Pengarang: Adam Wyner and Trevor Bench-Capon | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 941-968 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Model Checking Using Description Logic Pengarang: Shoham Ben-David, Richard Trefler, and Grant Weddell | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 111-1131 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Measures and Topologies on MV-algebras Pengarang: Hans Weber | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 527-539 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Metric Completions of MV-algebras with States: An Approach to Stochastic Independence Pengarang: Ioana Leuştean | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 493-508 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Mundur   1 2 3 4 5 6 7 8  Maju