Hasil Pencarian
	Ditemukan 118 dokumen dengan kata kunci 8118 Simpan CSV  The Logic of Quasi-MV Algebras Pengarang: Félix Bou, Francesco Paoli, Antonio Ledda, Matthew Spinks, dll | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 619-643 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Tableaux for Public Announcement Logic Pengarang: Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, and Tiago de Lima | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 55-76 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Analytic Methods for the Logic of Proofs Pengarang: Marcelo Finger | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 167-188 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Algebras of Relations and Relevance Logic Pengarang: Szabolcs Mikulás | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 305-321 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Updating Epistemic Logic Programs Pengarang: Yan Zhang | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 405-423 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Perancangan Kontrol On/Off Jarak jauh 4 Port Menggunakan Single Chip RF Modul Bebasis Mikrokontroller AT89s51 Pengarang: Oman Triwantoko | No. Panggil: eSTE-2007002 | Koleksi: e-Skripsi Teknik Elektro  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Analisis pengaturan kecepatan motor DC menggunakan kontrol PIB(Proportional Integral Derivative) Pengarang: Ibnu Qosim | No. Panggil: eSTI-2017030 | Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Penerapan Access Control List Sebagai Kontrol Akses Penggunaan Internet Pada Laboratorium Informatika UHAMKA Pengarang: Fadli Sabila | No. Panggil: eSTI-2015005 | Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Perancangan Kontrol dan Monitoring Home Automation Pada Smart Home Berbasis IoT (Internet Of Things) Pengarang: Yudi Ramadani | No. Panggil: eSTI-2022033 | 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  :: Prev   1 2 3 4 5 6 7 8 9 10  Next