Ditemukan 90 dokumen dengan kata kunci 3705 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Modelling epistemic actions in interrogative belief revision
|
Pengarang: Sebastian Enqvist | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1335-1365 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Modelling Batch Systems Using Population Balances
|
|
Hybrid curation of gene–mutation relations combining automated extraction and crowdsourcing
|
Pengarang: John D. Burger, Emily Doughty, Ritu Khare, Chih-Hsuan Wei, dll | No. Panggil: Database (Volume 2014, p. bau094) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
|
Pengarang: Rajeev Goré and Linda Postniece | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 233-260 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Machine learning techniques applied to detect cyber attacks on web applications
|
Pengarang: Michał Choraś and Rafał Kozik | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 1 February 2015, p. 45-56) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Watercolour Secrets : Tips& Techniques To Make Watercolour Painting Easier&More Enjoyable
|
|
Efisiensi Thermoelectric Generator Pada Sistem Pendingin Solar Still
|
|
Menentukan Konstanta Perpindahan Pamas Konveksi (C dan n) Pada Solar Still
|
|
Investigation on operating systems identification by means of fractal geometry
|
Pengarang: Ivan Zelinka, Oldřich Zmeškal, and Filip Merhaut | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 1 February 2015, p. 88-104) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Identification and prioritization of novel uncharacterized peptidases for biochemical characterization
|
|