Ditemukan 68 dokumen dengan kata kunci 4399 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Compactness in first-order Gödel logics
|
Pengarang: Massoud Pourmahdian and Nazanin R. Tavana | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 473-485 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Preserving mappings in fuzzy predicate logics
|
Pengarang: Pilar Dellunde | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1367-1389 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Semantically closed intuitionistic abstract logics
|
Pengarang: Steffen Lewitzka | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p 351-374 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On the Density of Truth of Locally Finite Logics
|
Pengarang: Zofia Kostrzycka | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1113-1125 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Logical Weak Completions of Paraconsistent Logics
|
Pengarang: Mauricio Osorio Galindo, José R. Arrazola Ramírez, and José Luis Carballido | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 913-940 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
MtiBase: a database for decoding microRNA target sites located within CDS and 5′UTR regions from CLIP-Seq and expression profile datasets
|
Pengarang: Zhi-Wei Guo, Chen Xie, Jian-Rong Yang, Jun-Hao Li, dll | No. Panggil: Database (Volume 2015, p. bav102) |
|
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 ::
|
|
Pencarian full text pada koleksi skripsi fakulitas teknik UHAMKA menggunakan metode vector space model
|
|
Freely floating structures trapping time-harmonic water waves
|
Pengarang: Nikolay Kuznetsov and Oleg Motygin | No. Panggil: The Quarterly Journal of Mechanics and Applied Mathematics (Volume 68 Issue 2 May 2015, p. 173-193) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
RTeQTL: Real-Time Online Engine for Expression Quantitative Trait Loci Analyses
|
Pengarang: Baoshan Ma, Jinyan Huang, and Liming Liang, dll | No. Panggil: Database (Volume 2014, p. bau066) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|