| Ditemukan 94 dokumen dengan kata kunci 5819 |
Simpan CSV  |
|
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 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Aplikasi Pembelajaran Matematika Kelas III Sekolah Dasar Berbasis CAI (Computer Assisted Instruction)
|
|
|
|
Rancang Bangun Sistem Penjualan Online Berbasis Web Pada Toko Kidvia Computer & Stationery
|
|
|
|
Perancangan Media Pembelajaran Merakit PC (Personal Computer) dengan Virtual Reality Berbasis Mobile
|
|
|
|
Comparison of dose–volume histograms between proton beam and X-ray conformal radiotherapy for locally advanced non-small-cell lung cancer
|
| Pengarang: Toshiki Ohno, Yoshiko Oshiro, Masashi Mizumoto, Haruko Numajiri, dll | No. Panggil: Journal of Radiation Research (Volume 23 Issue 1 January 2015, p. 128-133) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Construction of biological networks from unstructured information based on a semi-automated curation workflow
|
| Pengarang: Justyna Szostak, Sam Ansari, Sumit Madan, Juliane Fluck, dll | No. Panggil: Database (Volume 2015, p. bav057) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Conceptualizing credibility, relevance and legitimacy for evaluating the effectiveness of science–policy interfaces: Challenges and opportunities
|
| Pengarang: Ulrich Heink, Elisabeth Marquard, Katja Heubach, Kurt Jax, dll | No. Panggil: Science and Public Policy (Volume 42 Issue 5 October 2015, p. 676-689) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
RLIMS-P: an online text-mining tool for literature-based extraction of protein phosphorylation information
|
| Pengarang: Manabu Torii, Gang Li, Zhiwen Li, Rose Oughtred, dll | No. Panggil: Database (Volume 2014, p. bau081) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The EMPRES-i genetic module: a novel tool linking epidemiological outbreak information and genetic characteristics of influenza viruses
|
| Pengarang: Filip Claes, Dmitry Kuznetsov, Robin Liechti, Sophie Von Dobschuetz, dll | No. Panggil: Database (Volume 2014, p.bau008) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Biological Database of Images and Genomes: tools for community annotations linking image and genomic information
|
| Pengarang: Andrew T Oberlin, Dominika A Jurkovic, Mitchell F Balish, and Iddo Friedberg | No. Panggil: Database (Volume 2013, p.bat016) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
