| Ditemukan 48 dokumen dengan kata kunci 4647 |
Simpan CSV  |
|
Category-based Equational Reasoning: An Approach to Ontology Integration
|
| Pengarang: Joe Geldart and William Song | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 791-806 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
An equational approach to the merging of argumentation networks
|
| Pengarang: Dov. M. Gabbay and Odinaldo Rodrigues | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p. 1253-1277) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A robust data-driven approach for gene ontology annotation
|
|
|
|
Construction of protein phosphorylation networks by data mining, text mining and ontology integration: analysis of the spindle checkpoint
|
| Pengarang: Karen E. Ross, Cecilia N. Arighi, Jia Ren, Hongzhan Huang, dll | No. Panggil: Database (Volume 2013, p.bat038) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Nominal (Universal) Algebra: Equational Logic with Names and Binding
|
| Pengarang: Murdoch J. Gabbay and Aad Mathijssen | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1455-1508 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Base Revision for Ontology Debugging
|
| Pengarang: Márcio M. Ribeiro and Renata Wassermann | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 721-743 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A General Approach to Aggregation Problems
|
| Pengarang: Tijmen R. Daniëls and Eric Pacuit | No. Panggil: Journal of Logic and Computation June 2009, 19 (3), p. 517-536 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Multimedia Interpretation for Dynamic Ontology Evolution
|
| Pengarang: Silvana Castano, Irma Sofia Espinosa Peraldi, Alfio Ferrara, Vangelis Karkaletsis,dll | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 859-897 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
kpath: integration of metabolic pathway linked data
|
| Pengarang: Ismael Navas-Delgado, María Jesús García-Godoy, Esteban López-Camacho, Maciej Rybinski, dll | No. Panggil: Database (Volume 2015, p. bav053) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Interaction-based Runtime Verification for Systems of Systems Integration
|
| Pengarang: Ingolf H. Krüger, Michael Meisinger, and Massimiliano Menarini | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 725-742 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
