| Ditemukan 18 dokumen dengan kata kunci 4353 |
Simpan CSV  |
|
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 ::
|
|
|
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 ::
|
|
|
Remarks on some general features of abduction
|
| Pengarang: Luis Estrada-González | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 181-197 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Preservation by fibring of the finite model property
|
| Pengarang: M. E. Coniglio, A. Sernadas, and C. Sernadas | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 375-402 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Property-based Slicing for Agent Verification
|
| Pengarang: Rafael H. Bordini, Michael Fisher, Michael Wooldridge, and Willem Visser | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1385-1425 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Oracle Quality Implementation Guide
|
|
|
|
Plant rDNA database: update and new features
|
| Pengarang: Sňnia Garcia, Francisco Gálvez, Airy Gras, Aleš Kovařík, dll | No. Panggil: Database (Volume 2014, p.bau063) |
|
|
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 ::
|
|
|
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 ::
|
|
|
Oracle Configure To Order Implementation Manual
|
|
|
Hasil Pencarian
