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 '_' Nominal (Universal) Algebra: Equational Logic with Names and Binding Pengarang: Murdoch J. Gabbay and Aad Mathijssen | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1455-1508 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  A Complete Deductive System for Probability Logic Pengarang: Chunlai Zhou | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1427-1454 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Property-based Slicing for Agent Verification Pengarang: Rafael H. Bordini, Michael Fisher, Michael Wooldridge, and Willem Visser | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1385-1425 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Qualitative Temporal and Spatial Reasoning Revisited Pengarang: Manuel Bodirsky and Hubie Chen | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1359-1383 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  On Graph-theoretic Fibring of Logics Pengarang: Amilcar Sernadas, Cristina Sernadas, Joao Rasga, and Marcelo Coniglio | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1321-1357 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  A Graph-theoretic Account of Logics Pengarang: Amilcar Sernadas, Cristina Sernadas, Joao Rasga, and Marcelo Coniglio | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1281-1320 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Labelled Tableaux for Distributed Temporal Logic Pengarang: David Basin, Carlos Caleiro, Jaime Ramos, and Luca Vigaṇ | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1245-1279 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  A Logical and Computational Theory of Located Resource Pengarang: Matthew Collinson, Brian Monahan, and David Pym | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1207-1244 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB Pengarang: Zofia Kostrzycka | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1199-1205 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  An Axiomatic System Suggested by Quantum Computation Pengarang: C. Bertini and R. Leporini | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1175-1198 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Mundur   2 3 4 5 6 7 8 9 10 11  Maju