Ditemukan 50 dokumen dengan kata kunci 4412 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Alternating-time temporal dynamic epistemic logic
|
Pengarang: Tiago de Lima | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p1145-1178) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Obligations with deadlines: a formalization in Dynamic Deontic Logic
|
Pengarang: Robert Demolombe | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p. 1-17 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
From Situation Calculus to Dynamic Epistemic Logic
|
Pengarang: Hans Van Ditmarsch, Andreas Herzig, and Tiago De Lima | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 179-204 |
|
Koleksi: e-Article Oxford Journal ::
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 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The UN Human Rights Due Diligence Policy: An Effective Mechanism against Complicity of Peacekeeping Forces?
|
Pengarang: Helmut Philipp Aust | No. Panggil: Journal of Conflict and Security Law (Volume 20 Issue 1 Spring 2015, p. 61-73) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Do the Good Intentions of European Human Rights Law Really Pave the Road to IHL Hell for Civilian Detainees in Occupied Territory?
|
Pengarang: Nobuo Hayashi | No. Panggil: Journal of Conflict and Security Law (Volume 20 Issue 1 Spring 2015, p. 133-163) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Managing the data deluge: data-driven GO category assignment improves while complexity of functional annotation increases
|
Pengarang: Julien Gobeill, Emilie Pasche, Dina Vishnyakova, and Patrick Ruch | No. Panggil: Database (Volume 2013, p.bat041) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Basic Hydraulic Systems and Components : Edtion A
|
|
Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator
|
Pengarang: Mario R. F. Benevides and L. Menasché Schechter | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 919-951) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Recent complexity-theoretic results on P systems with active membranes
|
Pengarang: Giancarlo Mauri, Alberto Leporati, Antonio E. Porreca, Claudio Zandron | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p. 1047- 1071) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|