Hasil Pencarian
	Ditemukan 15 dokumen dengan kata kunci 4617 Simpan CSV  Bottom-up Construction of Semantic Tableaux Pengarang: Nicolas Peltier | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 283-308 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Foundations of model construction in feature-based semantic science Pengarang: David Poole | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1081-1096 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Axiom Pinpointing in General Tableaux Pengarang: Franz Baader and Rafael Peñaloza | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 5-34 | 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  :: Tableaux and Resource Graphs for Separation Logic Pengarang: Didier Galmiche and Daniel Méry | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 189-231 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Labelled Tableaux for Distributed Temporal Logic Pengarang: David Basin, Carlos Caleiro, Jaime Ramos, and Luca Viganò | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1245-1279 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Unsupervised gene function extraction using semantic vectors Pengarang: Ehsan Emadzadeh, Azadeh Nikfarjam, Rachel E. Ginn, and Graciela Gonzalez | No. Panggil: Database (Volume 2014, p. bau084) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Tableaux for Logics of Subinterval Structures over Dense Orderings Pengarang: Davide Bresolin, Valentin Goranko, Angelo Montanari, and Pietro Sala | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 133-166 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Automated semantic annotation of rare disease cases: a case study Pengarang: Maria Taboada, Hadriana Rodríguez, Diego Martínez, María Pardo, dll | No. Panggil: Database (Volume 2014, p.bau045) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A semantic proof of strong cut-admissibility for first-order Gödel logic Pengarang: Ori Lahav and Arnon Avron | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 59-86 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2  Next