Hasil Pencarian
	Ditemukan 119 dokumen dengan kata kunci 4515 Simpan CSV  Eskolemization in Intuitionistic Logic Pengarang: Matthias Baaz and Rosalie Iemhoff | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 625-638 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: 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  :: 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  :: Peracncangan sistem informasi seleksi penerimaan siswa baru berbasis WEB dengan menggunakan metode SIMPLE ADDTIVE WEIGHTING (SAW) PADA SMAN 1 CIRUAS Pengarang: Nurmuayyadah | No. Panggil: eSTI-2011023 | 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  :: Prev   1 2 3 4 5 6 7 8 9 10  Next