Ditemukan 35 dokumen dengan kata kunci 4355 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Definable relations in Turing degree structures
|
Pengarang: Marat M. Arslanov | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1145-1154 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A word clustering approach to domain adaptation: Robust parsing of source and target domains
|
Pengarang: Djamé Seddah, Marie Candito, and Enrique Henestroza Anguiano | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 395-411 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Higher Types, Finite Domains and Resource-bounded Turing Machines
|
Pengarang: Lars Kristiansen | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 281-304 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains
|
Pengarang: Dmitrij Skvortsov | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 697-713 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations
|
Pengarang: George H.L.Fletcher, Marc Gyssens, Dirk Leinders,dll | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. (549-580) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hybrid curation of gene–mutation relations combining automated extraction and crowdsourcing
|
Pengarang: John D. Burger, Emily Doughty, Ritu Khare, Chih-Hsuan Wei, dll | No. Panggil: Database (Volume 2014, p. bau094) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
PPInterFinder—a mining tool for extracting causal relations on human proteins from literature
|
Pengarang: Kalpana Raja, Suresh Subramani, and Jeyakumar Natarajan | No. Panggil: Database (Volume 2013, p.bas052) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations
|
Pengarang: Paul E. Oppenheimer and Edward N. Zalta | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 351-374 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
EvoDB: a database of evolutionary rate profiles, associated protein domains and phylogenetic trees for PFAM-A
|
Pengarang: Andrew Ndhlovu, Pierre M. Durand, and Scott Hazelhurst | No. Panggil: Database (Volume 2015, p. bav065) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The relaxed linear micromorphic continuum: well-posedness of the static problem and relations to the gauge theory of dislocations
|
Pengarang: P. Neff, I. D. Ghiba, M. Lazar, and A. Madeo | No. Panggil: The Quarterly Journal of Mechanics and Applied Mathematics (Volume 68 Issue 1 February 2015, p. 53-84) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|