Hasil Pencarian
Ditemukan 548 dokumen dengan kata kunci 5486 Simpan CSV Simpan CSV
Perancangan Aplikasi Sistem Pakar Untuk Mendeteksi Kerusakan Mobil Daihatsu Xenia Beserta Solusinya Berbasis Web
Pengarang: Rudi Maulana | No. Panggil: eSTI-2009018 |
Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Perancangan Aplikasi Outlet Management System [ Omas ] Berbasis Web Pada Grapari Telkomsel Jakarta Timur
Pengarang: Handayani | No. Panggil: eSTI-2006003 |
Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Rancang Bangun Aplikasi Inventory Control pada Laboratorium Farmasi Universitas Muhammadiyah Prof. Dr. Hamka Berbasis Web
Pengarang: Agung Mega Nanda | No. Panggil: ESTI-2021088 |
Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Perancangan Sistem Web Aplikasi Ujian Berbasis Komputer (Studi Kasus: MTs Persis Al-Ittihad)
Pengarang: Kolifa Muhasim | No. Panggil: eSTI-2022028 |
Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Gampang Membuat Toko Online
Pengarang: Dede Zulkifli | No. Panggil: ebTech - 00083 |
Koleksi: e-Book Teknologi  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
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  ::
Prev   4 5 6 7 8 9 10 11 12 13  Next