Ditemukan 176 dokumen dengan kata kunci 3593 |
Simpan CSV ![Simpan CSV](icons/save.png) |
From Design to Implementation: The Interpretation of Fact-finding Mandates
|
Pengarang: Rob Grace | No. Panggil: Journal of Conflict and Security Law (Volume 20 Issue 1 Spring 2015, p. 27-60) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
PCorral—interactive mining of protein interactions from MEDLINE
|
Pengarang: Chen Li, Antonio Jimeno-Yepes, Miguel Arregui, Harald Kirsch, dll | No. Panggil: Database (Volume 2013, p.bat030) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Optimal decompositions of matrices with entries from residuated lattices
|
Pengarang: Radim Belohlavek | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1405-1425 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
From Chaos to Consciousness : A Brief History of the Universe
|
|
Rotating Machinery Vibration : From Analysis to Troubleshooting
|
|
Penerapan Sistem Informasi Akademi Dengan Metode Extreme Programming Pada Taman Kanak-Kanak Almadani Kabupaten Bogor
|
|
Trilattice logic: an embedding-based approach
|
Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. (581-611) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Nested sequents for provability logic GLP
|
Pengarang: Daniyar Shamkanov | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 789-815) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On the definability of simulation and bisimulation in epistemic logic
|
Pengarang: Hans van Ditmarsch, David Fernández-Duque, and Wiebe van der Hoek | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p1209-1227) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A resolution-based calculus for Coalition Logic
|
Pengarang: Cláudia Nalon, Lan Zhang, Clare Dixon, and Ullrich Hustadt | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 883-917 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|