Koleksi : e-Article Oxford Journal
	| Semua | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | Ada 37 dokumen yang dimulai dengan Judul 'H' Herbrand's Theorem, Skolemization and Proof Systems for First-Order Łukasiewicz Logic Pengarang: Matthias Baaz and George Metcalfe | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 35-54 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Hybrid Functional Interpretations of Linear and Intuitionistic Logic Pengarang: Paulo Oliva | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 305-328 | Penerbitan: Oxford University Press 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 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Horn versus full first-order: Complexity dichotomies in algebraic constraint satisfaction Pengarang: Manuel Bodirsky, Peter Jonsson, and Timo von Oertzen | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 643-660 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  hLGDB: a database of human lysosomal genes and their regulation Pengarang: Alessandro Brozzi, Lorena Urbanelli, Pierre Luc Germain, Alessandro Magini, dll | No. Panggil: Database (Volume 2013, p.bat024) | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  HTS-DB: an online resource to publish and query data from functional genomics high-throughput siRNA screening projects Pengarang: Rebecca E. Saunders, Rachael Instrell, Rossella Rispoli, Ming Jiang, dll | No. Panggil: Database (Volume 2013, p.bat072) | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  HypoxiaDB: a database of hypoxia-regulated proteins Pengarang: Pankaj Khurana, Ragumani Sugadev, Jaspreet Jain, and Shashi Bala Singh,d ll | No. Panggil: Database (Volume 2013, p.bat074) | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  HPVdb: a data mining system for knowledge discovery in human papillomavirus with applications in T cell immunology and vaccinology Pengarang: Guang Lan Zhang, Angelika B. Riemer, Derin B. Keskin, Lou Chitkushev, dll | No. Panggil: Database (Volume 2014, p.bau031) | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  HeteroGenome: database of genome periodicity Pengarang: Maria Chaley, Vladimir Kutyrkin, Gayane Tulbasheva, Elena Teplukhina, dl | No. Panggil: Database (Volume 2014, p.bau040) | Penerbitan: Oxford University Press 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) | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Mundur   1 2 3 4  Maju