Ditemukan 548 dokumen dengan kata kunci 5486 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Perancangan Aplikasi Sistem Pakar Untuk Mendeteksi Kerusakan Mobil Daihatsu Xenia Beserta Solusinya Berbasis Web
|
|
Perancangan Aplikasi Outlet Management System [ Omas ] Berbasis Web Pada Grapari Telkomsel Jakarta Timur
|
|
Rancang Bangun Aplikasi Inventory Control pada Laboratorium Farmasi Universitas Muhammadiyah Prof. Dr. Hamka Berbasis Web
|
|
Perancangan Sistem Web Aplikasi Ujian Berbasis Komputer (Studi Kasus: MTs Persis Al-Ittihad)
|
|
Gampang Membuat Toko Online
|
|
A semantic proof of strong cut-admissibility for first-order Gödel logic
|
Pengarang: Ori Lahav and Arnon Avron | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 59-86 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
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 ::
|
|
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 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics
|
Pengarang: Franco Montagna and Carles Noguera | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 399-424 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
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 ::
|
|