| Ditemukan 176 dokumen dengan kata kunci 4611 |
Simpan CSV  |
|
Model Checking Using Description Logic
|
| Pengarang: Shoham Ben-David, Richard Trefler, and Grant Weddell | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 111-1131 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Verifying social expectations by model checking truncated paths
|
| Pengarang: Stephen Cranefield and Michael Winikoff | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1217-1256 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Parallel SAT Solving in Bounded Model Checking
|
| Pengarang: Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, dll | No. Panggil: Journal of Logic and Computation February 2011, 21 (3), p. 5-21 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
TCTL Model Checking of Time Petri Nets
|
| Pengarang: Hanifa Boucheneb, Guillaume Gardey, and Olivier H. Roux | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1509-1540 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On Instance-level Update and Erasure in Description Logic Ontologies
|
| Pengarang: Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, and Riccardo Rosati | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 745-770 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
FarsiSpell: A spell-checking system for Persian using a large monolingual corpus
|
| Pengarang: Tayebeh Mosavi Miangah | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 1 April 2015, p. 56-73) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Standardized description of scientific evidence using the Evidence Ontology (ECO)
|
| Pengarang: Marcus C. Chibucos, Christopher J. Mungall, Rama Balakrishnan, Karen R. Christie, dll | No. Panggil: Database (Volume 2014, p. bau075) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Model-theoretic and Computational Properties of Modal Dependence Logic
|
| Pengarang: Merlijn Sevenster | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1157-1173 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Using synchronous tree adjoining grammar to model the typology of bound variable pronouns
|
| Pengarang: Dennis Ryan Storoshenko, Chung-Hye Han | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. 371-403) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Quantifiers in logic and proof-search using permissive-nominal terms and sets
|
| Pengarang: Murdoch J. Gabbay, Claus-Peter Wirth | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. (473-523) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
