Hasil Pencarian
	Ditemukan 8 dokumen dengan kata kunci 3629 Simpan CSV  Polynomially parsable unification grammars Pengarang: Hadas Peled, Shuly Wintner | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 5 Oktober 2015, p. 1167-1202) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A system for named entity recognition based on local grammars Pengarang: Cvetana Krstev, Ivan Obradović, Miloš Utvić, and Duško Vitas | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 473-489 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Model-theory and implementation of property grammars with features Pengarang: Denys Duchier, Thi-Bich-Hanh Dao, and Yannick Parmentier | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 491-509 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: On the inference of non-confluent NLC graph grammars Pengarang: Robert Brijder and Hendrik Blockeel | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 799-814 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: COMPARTMENTS: unification and visualization of protein subcellular localization evidence Pengarang: Janos X. Binder, Sune Pletscher-Frankild, Kalliopi Tsafou, Christian Stolte, dll | No. Panggil: Database (Volume 2014, p. bau012) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Blending margins: the modal logic K has nullary unification type Pengarang: Emil Jeřábek | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 5 Oktober 2015, p.1231-1240) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Towards the Proof-theoretic Unification of Dung’s Argumentation Framework: an Adaptive Logic Approach Pengarang: Christian Straßer and Dunja Šešelja | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 133-156 | 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  ::