Ditemukan 47 dokumen dengan kata kunci 3691 |
Simpan CSV ![Simpan CSV](icons/save.png) |
3PFDB+: improved search protocol and update for the identification of representatives of protein sequence domain families
|
Pengarang: Agnel P. Joseph, Prashant Shingate, Atul K. Upadhyay, and R. Sowdhamini | No. Panggil: Database (Volume 2014, p.bau026) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
pseudoMap: an innovative and comprehensive resource for identification of siRNA-mediated mechanisms in human transcribed pseudogenes
|
Pengarang: Wen-Ling Chan, Wen-Kuang Yang, Hsien-Da Huang, and Jan-Gowth Chang | No. Panggil: Database (Volume 2013, p. bat001) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
toxoMine: an integrated omics data warehouse for Toxoplasma gondii systems biology research
|
Pengarang: David B. Rhee, Matthew McKnight Croken, Kevin R. Shieh, Julie Sullivan, | No. Panggil: Database (Volume 2015, p. bav066) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Towards a uniform presentation of logical systems by indexed categories and adjoint situations
|
Pengarang: U. Wolter, A. Martini, and E. H. Häusler | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 57-93) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The roles of universities in fostering knowledge-intensive clusters in Chinese regional innovation systems
|
Pengarang: Yuzhuo Cai and Cui Liu | No. Panggil: Science and Public Policy (Volume 42 Issue 1 February 2015, p. 15-29) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Characterizing and comparing innovation systems by different ‘modes’ of knowledge production: A proximity approach
|
Pengarang: Sjoerd Hardeman, Koen Frenken, Önder Nomaler, Anne L. J. Ter Wal | No. Panggil: Science and Public Policy (Volume 42 Issue 4 Agustus 2015, p. 530-548) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Explicit substitution calculi with de Bruijn indices and intersection type systems
|
Pengarang: Daniel Lima Ventura, Fairouz Kamareddine, and Mauricio Ayala-Rincón | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 295-340) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
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 ::
|
|
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
|
Pengarang: Matthias Knorr, Martin Slota, João Leite, and Martin Homola | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p. 1279-1311) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Cut-free sequent calculi for C-systems with generalized finite-valued semantics
|
Pengarang: Arnon Avron, Beata Konikowska, and Anna Zamansky | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 517-540 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|