Ditemukan 14 dokumen dengan kata kunci 3854 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Opening the black box of trust: reasoning about trust models in a BDI agent
|
Pengarang: Andrew Koster, Marco Schorlemmer, and Jordi Sabater-Mir | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 25-58 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Logical and Complexity-theoretic Aspects of Models of Computation with Restricted Access to Arrays
|
Pengarang: Iain A. Stewart | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 217-242 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
General Models and Completeness of First-Order Modal μ-calculus
|
Pengarang: Ryo Kashima and Keishi Okamoto | No. Panggil: Journal of Logic and Computation August 2008, 18 (4), p. 497-507 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A comparison of the dose distributions between the brachytherapy 125I source models, STM1251 and Oncoseed 6711, in a geometry lacking radiation equilibrium scatter conditions
|
Pengarang: Kenichi Tanaka, Ken-ichi Kamo, Kunihiko Tateoka, Osamu Asanuma, dll | No. Panggil: Journal of Radiation Research (Volume 23 Issue 2 March 2015, p. 366-371) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|