Ditemukan 128 dokumen dengan kata kunci 3695 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations
|
Pengarang: Paul E. Oppenheimer and Edward N. Zalta | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 351-374 |
|
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 ::
|
|
A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4
|
Pengarang: Regimantas Pliuškevičius and Aida Pliuškevičienė | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 353-379 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Characterizing perfect recall using next-step temporal operators in S5 Epistemic Temporal Logic
|
Pengarang: Andreas Witzel | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 405-416 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A Compact [0,1]-valued First-order Łukasiewicz Logic with Identity on Hilbert Space
|
Pengarang: Daniele Mundici | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 509-525 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Perancangan Kontrol Sequencing Chiller Untuk Menstabilkan Temperatur Suhu Ruangan Menggunakan Programmable Logic Control (PLC)
|
|
Perancangan Sistem Penunjang Keputusan Untuk Menentukan Tingkat Kepuasan Pelayanan Mahasiswa Dengan Metode FUZZY LOGIC
|
|
Rancangan aplikasi untuk menentukan persediaan barang pada toko indomaret taman sari dengan menggunakan fuzzy logic.
|
|