Ditemukan 100 dokumen dengan kata kunci 3844 |
Simpan CSV |
Codd's Relational Model from the Point of View of Fuzzy Logic
|
Pengarang: Radim Belohlavek and Vilem Vychodil | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 851-862 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
From Deep Inference to Proof Nets via Cut Elimination
|
Pengarang: Lutz Strassburger | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 589-624 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Information About a Given Entity: From Semantics Towards Automated Deduction
|
Pengarang: Robert Demolombe and Luis Fariñas del Cerro | No. Panggil: Journal of Logic and Computation December 2010, 20 (6), p. 1231-1250 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Rule Systems for Run-time Monitoring: from Eagle to RuleR
|
Pengarang: Howard Barringer, David Rydeheard, and Klaus Havelund | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 675-706 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
|
Pengarang: Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, dll | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1031-1069 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Oracle Inventory Consigned Inventory from Supplier Process Guide
|
|
Web-based discovery and integration of archaeological historic properties inventory data: The Digital Index of North American Archaeology (DINAA)
|
Pengarang: Joshua J. Wells, Eric C. Kansa, Sarah W. Kansa, Stephen J. Yerka, dll | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 3 September 2014, p. 349-360) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Studi perhitungan kinerja sistem digital subcsriber line access multiplexer (DSLAM) pada metro ethernet (ME) di perusahaan telekomunikasi
|
|
Studi analisa dan pengukuran pengaruh interferensi frekuensi teresterial (INBAND 965 MHZ) terhadap sinyal downlink satelit pada siaran televisi digital
|
|
Studi pebandingan ADSL (Asymetric Digital Subsecriber Line) dengan kabel modem dalam aksessibilitas untuk internet broadband
|
|