Hasil Pencarian
	Ditemukan 127 dokumen dengan kata kunci 4668 Simpan CSV  A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4 Pengarang: Regimantas Pliuškevičius and Aida Pliuškevičienė | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 353-379 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions Pengarang: Gemma Robles and José M. Méndez | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 174-193) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Characterizing perfect recall using next-step temporal operators in S5 Epistemic Temporal Logic Pengarang: Andreas Witzel | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 405-416 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A Compact [0,1]-valued First-order Łukasiewicz Logic with Identity on Hilbert Space Pengarang: Daniele Mundici | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 509-525 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Perancangan Kontrol Sequencing Chiller Untuk Menstabilkan Temperatur Suhu Ruangan Menggunakan Programmable Logic Control (PLC) Pengarang: Dendy Achmad Septian | No. Panggil: eSTE-2018015 | Koleksi: e-Skripsi Teknik Elektro  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Perancangan Sistem Penunjang Keputusan Untuk Menentukan Tingkat Kepuasan Pelayanan Mahasiswa Dengan Metode FUZZY LOGIC Pengarang: Putri Pratiwi | No. Panggil: eSTI-2018030 | Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Rancangan aplikasi untuk menentukan persediaan barang pada toko indomaret taman sari dengan menggunakan fuzzy logic. Pengarang: Amanah Nur 'Aini | No. Panggil: eSTI-2006004 | Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   8 9 10 11 12 13  Next