Hasil Pencarian
	Ditemukan 121 dokumen dengan kata kunci 4530 Simpan CSV  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  :: Cloud Computing No. Panggil: ebTI - 00188 | Koleksi: e-Book TI  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Tractable and intractable classes of propositional schemata Pengarang: Nicolas Peltier | No. Panggil: Journal of Logic and Computation (October 2014; 24 (5), p. 1111-1139) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Artificial Intelligence and Soft Computing Pengarang: Konar, Amit | No. Panggil: ebTI - 00180 | Koleksi: e-Book TI  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A proof-theoretic analysis of the classical propositional matrix method Pengarang: David Pym, Eike Ritter, and Edmund Robinson | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.283-301 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Complexity Classifications for Propositional Abduction in Post's Framework Pengarang: Nadia Creignou, Johannes Schmidt, and Michael Thomas | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1145-1170 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: The Complexity of the Warranted Formula Problem in Propositional Argumentation Pengarang: Robin Hirsch and Nikos Gorogiannis | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 481-499 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Paraconsistent Machines and their Relation to Quantum Computing Pengarang: Juan C. Agudelo and Walter Carnielli | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 573-595 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Cloud Computing Manajemen dan Perencanaan Kapasitas Pengarang: Riko Herwanto | No. Panggil: 004.6782 | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator Pengarang: Mario R. F. Benevides and L. Menasché Schechter | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 919-951) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4 5 6 7 8 9 10  Next