Hasil Pencarian
	Ditemukan 47 dokumen dengan kata kunci 4693 Simpan CSV  Deduction-detachment theorem in hidden k-logics Pengarang: Sergey Babenyshev and Manuel A. Martins | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.233-255 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Compactness in first-order Gödel logics Pengarang: Massoud Pourmahdian and Nazanin R. Tavana | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 473-485 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Preserving mappings in fuzzy predicate logics Pengarang: Pilar Dellunde | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1367-1389 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Semantically closed intuitionistic abstract logics Pengarang: Steffen Lewitzka | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p 351-374 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: On the Density of Truth of Locally Finite Logics Pengarang: Zofia Kostrzycka | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1113-1125 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Logical Weak Completions of Paraconsistent Logics Pengarang: Mauricio Osorio Galindo, José R. Arrazola Ramírez, and José Luis Carballido | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 913-940 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Analisis Perbandingan Penggunaan CDI Standard dan CDI Unlimiter Terhadap Torsi, Daya dan AFR Di Motor 4 Langkah Pengarang: Muhamad Fathandika | No. Panggil: eSTM-2021026 | Koleksi: e-Skripsi Teknik Mesin  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Rancang Bangun Sistem Keamanan File Dokumen Pada Perangkat Komputer Dengan Algoritma Advanced Encryption Standard (AES) 128 Pengarang: Muhammad Alif Mufadhilah | No. Panggil: eSTI-2021058 | Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Implementasi teknik enkripsi-deskripsi pada dokumen menggunakan advanced encryption standard(AES)-256 Pengarang: Nikie Rose Yunirahayu | No. Panggil: eSTI-2014052 | Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: On deontic action logics based on Boolean algebra Pengarang: Robert Trypuz, Piotr Kulicki | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 5 Oktober 2015, p. 1241-1260) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4 5  Next