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 74 dokumen yang dimulai dengan Judul 'R' Reinforcement Belief Revision Pengarang: Yi Jin and Michael Thielscher | No. Panggil: Journal of Logic and Computation October 2008, 18 (5), p. 783-813 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs Pengarang: Richard Booth and Alexander Nittka | No. Panggil: Journal of Logic and Computation October 2008, 18 (5), p. 755-782 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice Pengarang: Andrej Bauer and Christopher A. Stone | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 17-43 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Reasoning Support for Mapping Revision Pengarang: Christian Meilicke, Heiner Stuckenschmidt, and Andrei Tamilin | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 807-829 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic Pengarang: Manuela Busaniche and Roberto Cignoli | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1019-1029 | 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 ::  Reliable Methods of Judgement Aggregation Pengarang: Stephan Hartmann, Gabriella Pigozzi, and Jan Sprenger | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 603-617 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Rule Systems for Run-time Monitoring: from Eagle to RuleR Pengarang: Howard Barringer, David Rydeheard, and Klaus Havelund | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 675-706 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Rank-1 Modal Logics are Coalgebraic Pengarang: Lutz Schröder and Dirk Pattinson | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1113-1147 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Role Interchange for Anonymity and Privacy of Voting Pengarang: Ken Mano, Yoshinobu Kawabe, Hideki Sakurada, and Yasuyuki Tsukada | No. Panggil: Journal of Logic and Computation December 2010, 20 (6), p. 1251-1288 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Mundur   1 2 3 4 5 6 7 8  Maju