Hasil Pencarian
	Ditemukan 9 dokumen dengan kata kunci 4677 Simpan CSV  Pseudojumps and Formula Classes Pengarang: Douglas Cenzer, Geoffrey Laforte, and Guohua Wu | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 77-87 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Properties of the jump classes Pengarang: Andrew E. M. Lewis | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 845-855 | Koleksi: e-Article Oxford Journal  :: 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  :: Classes of structures with universe a subset of ω1 Pengarang: Ekaterina Fokina, Sy-David Friedman, Julia Knight, and Russell Miller | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1249-1265 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Categorical Equivalences for Formula quasi-MV Algebras Pengarang: Roberto Giuntini, Francesco Paoli, and Antonio Ledda | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 795-810 | 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  :: Introduction to Vectors : YouTube classes with Dr Chris Tisdell Pengarang: Tisdell, Christopher C | No. Panggil: ebM-0112 | Koleksi: e-Book MIPA  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Measuring the blame of each formula for inconsistent prioritized knowledge bases Pengarang: Kedian Mu, Weiru Liu, and Zhi Jin | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 481-516 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Multi-modal and Temporal Logics with Universal Formula—Reduction of Admissibility to Validity and Unification Pengarang: V. Rybakov | No. Panggil: Journal of Logic and Computation August 2008, 18 (4), p. 509-519 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::