| Ditemukan 275 dokumen dengan kata kunci 4152 |
Simpan CSV  |
|
Tripal v1.1: a standards-based toolkit for construction of online genetic and genomic databases
|
| Pengarang: Lacey-Anne Sanderson, Stephen P. Ficklin, Chun-Huai Cheng, Sook Jung, | No. Panggil: Database (Volume 2013, p.bat075) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
MisPred: a resource for identification of erroneous protein sequences in public databases
|
|
|
|
RegNetwork: an integrated database of transcriptional and post-transcriptional regulatory networks in human and mouse
|
| Pengarang: Zhi-Ping Liu, Canglin Wu, Hongyu Miao, and Hulin Wu | No. Panggil: Database (Volume 2015, p. bav095) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
AnaLysis of Expression on human chromosome 21, ALE-HSA21: a pilot integrated web resource
|
| Pengarang: Margherita Scarpato, Roberta Esposito, Daniela Evangelista, Marianna Aprile, dll | No. Panggil: Database (Volume 2014, p.bau009) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Tetrahymena Functional Genomics Database (TetraFGD): an integrated resource for Tetrahymena functional genomics
|
| Pengarang: Jie Xiong, Yuming Lu, Jinmei Feng, Dongxia Yuan, dll | No. Panggil: Database (Volume 2013, p. bat008) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
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 ::
|
|
|
-Struktur Data
|
|
|
|
Logics Modulo Theories: a logical framework for multi-agent systems
|
| Pengarang: Lito Perez Cruz and John Newsome Crossley | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 553-583) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Towards the Proof-theoretic Unification of Dung’s Argumentation Framework: an Adaptive Logic Approach
|
| Pengarang: Christian Straßer and Dunja Šešelja | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 133-156 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation
|
| Pengarang: Phan Minh Thang, Phan Minh Dung, and Nguyen Duy Hung | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1071-1109 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
