Ditemukan 79 dokumen dengan kata kunci 4140 |
Simpan CSV ![Simpan CSV](icons/save.png) |
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 ::
|
|
Expert curation in UniProtKB: a case study on dealing with conflicting and erroneous data
|
Pengarang: Sylvain Poux, Michele Magrane, Cecilia N. Arighi, Alan Bridge, dll | No. Panggil: Database (Volume 2014, p. bau016) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On structural completeness versus almost structural completeness problem: A discriminator varieties case study
|
Pengarang: Miguel Campercholi, Michał M. Stronkowski, and Diego Vaggione | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 235-246) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Composing narrative discourse for stories of many characters: A case study over a chess game
|
Pengarang: Pablo Gervás | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 4 Desember 2014, p. 511-531) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
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 ::
|
|
Average-Case Complexity
|
|
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 ::
|
|
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 ::
|
|
Analysis of disease-associated objects at the Rat Genome Database
|
Pengarang: Shur-Jen Wang, Stanley J. F. Laulederkind, G. T. Hayman, Jennifer R. Smith, dll | No. Panggil: Database (Volume 2013, p.bat046) |
|
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 ::
|
|