Ditemukan 275 dokumen dengan kata kunci 4152 |
Simpan CSV |
Using argumentation to reason about trust and belief
|
Pengarang: Yuqing Tang, Kai Cai, Peter McBurney, Elizabeth Sklar, and Simon Parsons | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 979-1018 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Modelling Batch Systems Using Population Balances
|
|
BEAN 2.0: an integrated web resource for the identification and functional analysis of type III secreted effectors
|
Pengarang: Xiaobao Dong, Xiaotian Lu, and Ziding Zhang | No. Panggil: Database (Volume 2015, p. bav064) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The National NeuroAIDS Tissue Consortium (NNTC) Database: an integrated database for HIV-related studies
|
Pengarang: Matyas F. Cserhati, Sanjit Pandey, James J. Beaudoin, Lorena Baccaglini, | No. Panggil: Database (Volume 2015, p. bav074) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The Eimeria Transcript DB: an integrated resource for annotated transcripts of protozoan parasites of the genus Eimeria
|
Pengarang: Luiz Thibério Rangel, Jeniffer Novaes, Alan M. Durham, Alda Maria B. N. Madeira, dll | No. Panggil: Database (Volume 2013, p.bat006) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
From Design to Implementation: The Interpretation of Fact-finding Mandates
|
Pengarang: Rob Grace | No. Panggil: Journal of Conflict and Security Law (Volume 20 Issue 1 Spring 2015, p. 27-60) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
PCorral—interactive mining of protein interactions from MEDLINE
|
Pengarang: Chen Li, Antonio Jimeno-Yepes, Miguel Arregui, Harald Kirsch, dll | No. Panggil: Database (Volume 2013, p.bat030) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Optimal decompositions of matrices with entries from residuated lattices
|
Pengarang: Radim Belohlavek | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1405-1425 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
From Situation Calculus to Dynamic Epistemic Logic
|
Pengarang: Hans Van Ditmarsch, Andreas Herzig, and Tiago De Lima | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 179-204 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
From (Quantified) Boolean Formulae to Answer Set Programming
|
Pengarang: Igor Stéphan, Benoit Da Mota, and Pascal Nicolas | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 565-590 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|