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 '_' A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4 Pengarang: Regimantas Pliuškevičius and Aida Pliuškevičienė | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 353-379 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Differential-algebraic Dynamic Logic for Differential-algebraic Programs Pengarang: André Platzer | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 309-352 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Bottom-up Construction of Semantic Tableaux Pengarang: Nicolas Peltier | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 283-308 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Reduced Implicate Tries with Updates Pengarang: Neil V. Murray and Erik Rosenthal | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 261-281 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic Pengarang: Rajeev Goré and Linda Postniece | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 233-260 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Tableaux and Resource Graphs for Separation Logic Pengarang: Didier Galmiche and Daniel Méry | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 189-231 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Analytic Methods for the Logic of Proofs Pengarang: Marcelo Finger | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 167-188 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Tableaux for Logics of Subinterval Structures over Dense Orderings Pengarang: Davide Bresolin, Valentin Goranko, Angelo Montanari, and Pietro Sala | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 133-166 | 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 ::  The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation Pengarang: Peter Baumgartner, Ulrich Furbach, and Björn Pelzer | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 77-109 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Mundur   4 5 6 7 8 9 10 11 12 13  Maju