Ditemukan 48 dokumen dengan kata kunci 4647 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Situated normative infrastructures: the normative object approach
|
Pengarang: Fabio Yoshimitsu Okuyama, Rafael H. Bordini, and Antônio Carlos da Rocha Costa | No. Panggil: Journal of Logic and Computation April 2013, 23 (2), p. 397-424 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A Database Approach to Distributed State-Space Generation
|
Pengarang: Stefan Blom, Bert Lisser, Jaco Van De Pol, and Michael Weber | No. Panggil: Journal of Logic and Computation February 2011, 21 (3), p. 45-62 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A Translation-based Approach to the Verification of Modular Equivalence
|
Pengarang: Emilia Oikarinen and Tomi Janhunen | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 591-613 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The Confidence Information Ontology: a step towards a standard for asserting confidence in annotations
|
Pengarang: Frederic B. Bastian, Marcus C. Chibucos, Pascale Gaudet, Michelle Giglio, dll | No. Panggil: Database (Volume 2015, p. bav043) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Integrating information retrieval with distant supervision for Gene Ontology annotation
|
Pengarang: Dongqing Zhu, Dingcheng Li, Ben Carterette, and Hongfang Liu | No. Panggil: Database (Volume 2014, p. bau087) |
|
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 ::
|
|
A guide to best practices for Gene Ontology (GO) manual annotation
|
Pengarang: Rama Balakrishnan, Midori A. Harris, Rachael Huntley, Kimberly Van Auken, dll | No. Panggil: Database (Volume 2013, p.bat054) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Use of Gene Ontology Annotation to understand the peroxisome proteome in humans
|
Pengarang: Prudence Mutowo-Meullenet, Rachael P. Huntley, Emily C. Dimmer, Yasmin Alam-Faruque, dll | No. Panggil: Database (Volume 2013, p.bas062) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Ontology merging as social choice: judgment aggregation under the open world assumption
|
Pengarang: Daniele Porello and Ulle Endriss | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p1229-49) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Self-determination and State-building in International Law: The Need for a New Research Approach
|
Pengarang: Manuela Melandri | No. Panggil: Journal of Conflict and Security Law (Volume 20 Issue 1 Spring 2015, p. 75-100) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|