Ditemukan 60 dokumen dengan kata kunci 4785 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Reasoning about delegation and revocation schemes in answer set programming
|
Pengarang: Steve Barker, Guido Boella, Dov Gabbay, and Valerio Genovese | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.89-116 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Polynomial time certifying algorithms for the planar quantified integer programming problem
|
Pengarang: Z. Liang, K. Subramani, and J. Worthington | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1017-1033 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
|
Pengarang: Andrej Bauer and Christopher A. Stone | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 17-43 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Pengecekan Data Daftar Urut Kepangkatan (DUK) Pegawai Tahun 2016 dengan Database Menggunakan Microsoft Excel 2013
|
|
Pengecekan Data Daftar Urut Kepangkatan (DUK) Pegawai Tahun 2016 Dengan Database Menggunakan Microsoft Excel 2013
|
|
Policy ideas and policy learning about ‘basic research’ in South Korea
|
Pengarang: Yongsu Ko | No. Panggil: Science and Public Policy (Volume 42 Issue 4 Agustus 2015, p. 448-459) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Digital Photography Basic : Taking The First Step Off Full Auto
|
|
Penerapan Sistem Informasi Akademi Dengan Metode Extreme Programming Pada Taman Kanak-Kanak Almadani Kabupaten Bogor
|
|
Perancangan Sisten Informasi Pengiriman Billing Statement Bank NISIP Menggunakan Visual FOXPRO versi 9.0
|
|
Perancangan sistem informasi pengiriman billing statement bank NISP menggunakan visual FOXPO versi 9.0 pada PT. Fajar indah cakra cemerlang
|
|