Ditemukan 107 dokumen dengan kata kunci 3902 |
Simpan CSV |
A proof-theoretic analysis of the classical propositional matrix method
|
Pengarang: David Pym, Eike Ritter, and Edmund Robinson | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.283-301 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A novel hyperspectral segmentation algorithm—concept and evaluation
|
Pengarang: Pawel Ksieniewicz, Dariusz Jankowski, Borja Ayerdi, Konrad Jackowski, dll | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 1 February 2015, p. 105-120) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Rapid storage and retrieval of genomic intervals from a relational database system using nested containment lists
|
Pengarang: Laura K. Wiley, R. Michael Sivley, and William S. Bush | No. Panggil: Database (Volume 2013, p.bat056) |
|
Koleksi: e-Article Oxford Journal ::
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) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Assessing the inter-method reliability and correlational validity of the Body Type Dictionary
|
Pengarang: Laura A. Cariola | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 2 June 2014, p. 171-190) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4
|
Pengarang: Regimantas Pliuškevičius and Aida Pliuškevičienė | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 353-379 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Possibility of high-resolution ptychographic iterative imaging with low energy electrons: dynamical calculations
|
Pengarang: Ling Wang, Cheng Liu, and John M. Rodenburg | No. Panggil: Microscopy (Volume 64 Issue 2 April 2015, p. 105-110) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Ex-ante evaluation of publicly funded R&D projects: Searching for exploration
|
Pengarang: Nadika A. Bulathsinhala | No. Panggil: Science and Public Policy (Volume 42 Issue 2 April 2015, p. 162-175) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Evaluation of the Flash effect in breast irradiation using TomoDirect: an investigational study
|
Pengarang: Dae Gyu Kang, Sung Ill Park, Sung Hwan Kim, Mi Joo Chung, dll | No. Panggil: Journal of Radiation Research (Volume 23 Issue 2 March 2015, p. 397-404) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Narrative similarity as common summary: Evaluation of behavioral and computational aspects
|
Pengarang: Elektra Kypridemou and Loizos Michael | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 4 Desember 2014, p. 532-560) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|