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 'D'
Degrees of Belief
Pengarang: Isaac Levi | No. Panggil: Journal of Logic and Computation October 2008, 18 (5), p. 699-719 | 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 :: 
Deduction Systems for Coalgebras Over Measurable Spaces
Pengarang: Robert Goldblatt | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1069-1100 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Distributed Algorithms for SCC Decomposition
Pengarang: Jiří Barnat, Jakub Chaloupka, and Jaco Van De Pol | No. Panggil: Journal of Logic and Computation February 2011, 21 (3), p. 23-44 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Deterministic Graphical Games Revisited
Pengarang: Daniel Andersson, Kristoffer Arnsfelt Hansen, Peter Bro Miltersen, and Troels Bjerre Sørensen | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 165-178 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Dynamic specification of open agent systems
Pengarang: Alexander Artikis | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1301-1334 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Dependency in Cooperative Boolean Games
Pengarang: Luigi Sauro and Serena Villata | No. Panggil: Journal of Logic and Computation April 2013, 23 (2), p. 425-444 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Dynamic assignment of roles, rights and responsibilities in normative multi-agent systems
Pengarang: Farnaz Derakhshan, Trevor Bench-Capon, and Peter McBurney | No. Panggil: Journal of Logic and Computation April 2013, 23 (2), p. 355-372 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Definable relations in Turing degree structures
Pengarang: Marat M. Arslanov | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1145-1154 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Deduction-detachment theorem in hidden k-logics
Pengarang: Sergey Babenyshev and Manuel A. Martins | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.233-255 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Mundur   1 2 3 4 5 6 7 8  Maju