Hasil Pencarian
Ditemukan 176 dokumen dengan kata kunci 3593 Simpan CSV Simpan CSV
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
Pengarang: Corwin, Mike | No. Panggil: ebM-0099 |
Koleksi: e-Book MIPA  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Rotating Machinery Vibration : From Analysis to Troubleshooting
Pengarang: Adams, Maurice L | No. Panggil: 621.811 ADA r |
Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Penerapan Sistem Informasi Akademi Dengan Metode Extreme Programming Pada Taman Kanak-Kanak Almadani Kabupaten Bogor
Pengarang: Bagus Maulana | No. Panggil: eSTI-2020006 |
Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
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  ::
Prev   1 2 3 4 5 6 7 8 9 10  Next