Ditemukan 264 dokumen dengan kata kunci 8635 |
Simpan CSV ![Simpan CSV](icons/save.png) |
A logical basis for constructive systems
|
Pengarang: Giorgi Japaridze | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 605-642 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Website Keren dengan WordPress 3.X : Cepat & Mudah Membuat
|
|
Pembuatan Website Tentang Informasi dan Penginputan Data Kemen KHK
|
|
Linear Temporal Logic LTL: Basis for Admissible Rules
|
Pengarang: Sergey Babenyshev and Vladimir Rybakov | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 157-177 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Dasar Pemrograman Julia : Panduan Praktis Untuk Mempelajari Pemrograman secara Mandiri
|
|
On the existence of a modal-logical basis for monadic second-order logic
|
Pengarang: Lauri Hella and Tero Tulenheimo | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 157-180 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
-Struktur Data
|
|
Pembuatan Desain Website Sederhana Profil Kantor Pusat Data dan Sistem Informasi Pertanian (PUSDATIN) di Kementrian Pertanian
|
|
Can medical products be developed on a non-profit basis? Exploring product development partnerships for neglected diseases
|
Pengarang: V. Muñoz, F. Visentin, D. Foray, P. Gaulé | No. Panggil: Science and Public Policy (Volume 42 Issue 3 June 2015, p. 315-338) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Data Mining Algoritma dan Implementasi
|
|