| Ditemukan 21 dokumen dengan kata kunci 4528 |
Simpan CSV  |
|
Structural Description of a Class of Involutive Uninorms via Skew Symmetrization
|
| Pengarang: Sándor Jenei | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 729-737 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Strongly involutive uninorm algebras
|
| Pengarang: Sándor Jenei and Franco Montagna | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 707-726 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
DoSA: Database of Structural Alignments
|
| Pengarang: Swapnil Mahajan, Garima Agarwal, Mohammed Iftekhar, Bernard Offmann, dll | No. Panggil: Database (Volume 2013, p.bat048) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Cyclic Involutive Distributive Full Lambek Calculus is Decidable
|
| Pengarang: Michał Kozak | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p.231-252 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Model Checking Using Description Logic
|
| Pengarang: Shoham Ben-David, Richard Trefler, and Grant Weddell | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 111-1131 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Verification of Games in the Game Description Language
|
| Pengarang: Ji Ruan, Wiebe van der Hoek, and Michael Wooldridge | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1127-1156 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Non-cuppable enumeration degrees via finite injury
|
| Pengarang: Charles M. Harris | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 807-829 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
SInCRe—structural interactome computational resource for Mycobacterium tuberculosis
|
| Pengarang: Rahul Metri, Sridhar Hariharaputran, Gayatri Ramakrishnan, Praveen Anand, dll | No. Panggil: Database (Volume 2015, p. bav060) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
CREDO: a structural interactomics database for drug discovery
|
| Pengarang: Adrian M. Schreyer and Tom L. Blundell | No. Panggil: Database (Volume 2013, p.bat049) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Learning structural dependencies of words in the Zipfian Tail
|
| Pengarang: Tejaswini Deoskar, Markos Mylonakis, and Khalil Sima’an | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 433-453 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
