Ditemukan 107 dokumen dengan kata kunci 3902 |
Simpan CSV ![Simpan CSV](icons/save.png) |
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 ::
|
|
Max-based Prioritized Information Fusion without Commensurability
|
Pengarang: Salem Benferhat, Sylvain Lagrue, and Julien Rossit | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1577-1610 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Trust-based Revision for Expressive Web Syndication
|
Pengarang: Jennifer Golbeck and Christian Halaschek-Wiener | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 771-790 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
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 ::
|
|
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 ::
|
|
OntoDLV: An ASP-based System for Enterprise Ontologies
|
Pengarang: Francesco Ricca, Lorenzo Gallucci, Roman Schindlauer, Tina Dell’Armi,dll | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 643-670 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
problems for Algebra-Based College Physics I & II
|
|
Diagnosing a solar volumetric receiver combining NN-based modelling with online parameter identification and rule-based techniques
|
Pengarang: Ramon Ferreiro Garcia, Jose Luis Calvo-Rolle, and Francisco Javier Perez Castelo | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 379-399) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
AtmiRNET: a web-based resource for reconstructing regulatory networks of Arabidopsis microRNAs
|
Pengarang: Chia-Hung Chien, Yi-Fan Chiang-Hsieh, Yi-An Chen, Chi-Nga Chow, dll | No. Panggil: Database (Volume 2015, p. bav042) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
dbHiMo: a web-based epigenomics platform for histone-modifying enzymes
|
Pengarang: Jaeyoung Choi, Ki-Tae Kim, Aram Huh, Seomun Kwon, dll | No. Panggil: Database (Volume 2015, p. bav052) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|