Hasil Pencarian
Ditemukan 87 dokumen dengan kata kunci 3596 Simpan CSV Simpan CSV
Towards a model of UAVs navigation in urban canyon through defeasible logic
Pengarang: Ho-Pun Lam and Guido Governatori | No. Panggil: Journal of Logic and Computation April 2013, 23 (2), p. 373-395 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Codd's Relational Model from the Point of View of Fuzzy Logic
Pengarang: Radim Belohlavek and Vilem Vychodil | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 851-862 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation
Pengarang: Peter Baumgartner, Ulrich Furbach, and Björn Pelzer | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 77-109 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Kerusakan Dan Penanganan Poros Nok/Camshaft Pada Model Mesin Toyota
Pengarang: Ruyadi | No. Panggil: eSTM-2004003 |
Koleksi: e-Skripsi Teknik Mesin  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Pengaruh Karakteristik Air Pengisi Ketel Terhadap Sistem Perawatan boiler Model VWH-1200
Pengarang: Effendi | No. Panggil: eSTM-2002002 |
Koleksi: e-Skripsi Teknik Mesin  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Kerusakan Dan Penanganan Sistem Karburator Pada Model Mesin Toyota Corolla Gl 1985
Pengarang: Ependi | No. Panggil: eSTM-2005004 |
Koleksi: e-Skripsi Teknik Mesin  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Implementasi Optimasi Manajemen Bandwidth Jaringan dengan Metode Per Connection Queue Menggunakan Simple Queue dan Queue Tree Pada Mikrotik Di SMK Negeri 9 Bekasi
Pengarang: Fery Orlan | No. Panggil: eSTI-2019023 |
Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Quantifiers in logic and proof-search using permissive-nominal terms and sets
Pengarang: Murdoch J. Gabbay, Claus-Peter Wirth | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. (473-523) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Stroke-based intelligent character recognition using a deterministic finite automaton
Pengarang: D. Álvarez, R. Fernández, and L. Sánchez | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 463-471) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A protocol to encrypt digital images using chaotic maps and memory cellular automata
Pengarang: A. Martín del Rey, G. Rodríguez Sánchez, and A. de la Villa Cuenca | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 485-494) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3 4 5 6 7 8 9  Next