| Ditemukan 106 dokumen dengan kata kunci 3589 |
Simpan CSV  |
|
Reactive standard deontic logic
|
| Pengarang: Dov M. Gabbay and Christian Straßer | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 117-157) |
|
|
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 ::
|
|
|
Non-monotonic reasoning with normative conflicts in multi-agent deontic logic
|
| Pengarang: Mathieu Beirlaen and Christian Straßer | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p1179-1207) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Standard Logics Are Valuation-Nonmonotonic
|
| Pengarang: Mladen Pavičić and Norman D. Megill | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 959-982 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On deontic action logics based on Boolean algebra
|
| Pengarang: Robert Trypuz, Piotr Kulicki | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 5 Oktober 2015, p. 1241-1260) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Increased effectiveness of carbon ions in the production of reactive oxygen species in normal human fibroblasts
|
| Pengarang: Till Dettmering, Sebastian Zahnreich, Miriam Colindres-Rojas, Marco Durante, dll | No. Panggil: Journal of Radiation Research (Volume 23 Issue 1 January 2015, p.67-76) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The Confidence Information Ontology: a step towards a standard for asserting confidence in annotations
|
| Pengarang: Frederic B. Bastian, Marcus C. Chibucos, Pascale Gaudet, Michelle Giglio, dll | No. Panggil: Database (Volume 2015, p. bav043) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
iSimp in BioC standard format: enhancing the interoperability of a sentence simplification system
|
| Pengarang: Yifan Peng, Catalina O. Tudor, Manabu Torii, Cathy H. Wu, dll | No. Panggil: Database (Volume 2014, p.bau038) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Standard (AES) 128BIT untuk keamanan sms (short message service) pada ponsel android
|
|
|
|
Analisis Perbandingan Penggunaan CDI Standard dan CDI Unlimiter Terhadap Torsi, Daya dan AFR Di Motor 4 Langkah
|
|
|
Hasil Pencarian
