Ditemukan 101 dokumen dengan kata kunci 4526 |
Simpan CSV ![Simpan CSV](icons/save.png) |
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 ::
|
|
Interactive Computing Series Microsoft Excel 2002 Introductory Edition
|
|
Perancangan cloud computing pada jaringan PPIN-BATAN gedung 71
|
|
Perancangan sistem cloud computing berbasis open source software di BMKG ciputat
|
|
Sistem Keamanan Pada Jaringan Cloud Computing Menggunakan Firewall Berbasis GNU/ LINUX
|
|
Trilattice logic: an embedding-based approach
|
Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. (581-611) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A resolution-based calculus for Coalition Logic
|
Pengarang: Cláudia Nalon, Lan Zhang, Clare Dixon, and Ullrich Hustadt | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 883-917 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Property-based Slicing for Agent Verification
|
Pengarang: Rafael H. Bordini, Michael Fisher, Michael Wooldridge, and Willem Visser | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1385-1425 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
An Axiomatic Characterization of Ensconcement-Based Contraction
|
Pengarang: Eduardo Fermé, Martín Krevneris, and Maurício Reis | No. Panggil: Journal of Logic and Computation October 2008, 18 (5), p. 739-753 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Algebra-Based College Physics: Part I
|
|