Ditemukan 127 dokumen dengan kata kunci 4668 |
Simpan CSV ![Simpan CSV](icons/save.png) |
States on Bold Algebras: Categorical Aspects
|
Pengarang: Roman Frič | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 465-477 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Core of Coalition Games on MV-algebras
|
Pengarang: Tomáš Kroupa | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 479-492 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations
|
Pengarang: George H.L.Fletcher, Marc Gyssens, Dirk Leinders,dll | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. (549-580) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hybrid curation of gene–mutation relations combining automated extraction and crowdsourcing
|
Pengarang: John D. Burger, Emily Doughty, Ritu Khare, Chih-Hsuan Wei, dll | No. Panggil: Database (Volume 2014, p. bau094) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
PPInterFinder—a mining tool for extracting causal relations on human proteins from literature
|
Pengarang: Kalpana Raja, Suresh Subramani, and Jeyakumar Natarajan | No. Panggil: Database (Volume 2013, p.bas052) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Computer-aided decision-making with trust relations and trust domains (cryptographic applications)
|
Pengarang: Simon Kramer, Rajeev Goré, and Eiji Okamoto | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.19-54 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Counting weak Heyting algebras on finite distributive lattices
|
Pengarang: Majid Alizadeh and Nima Joharizadeh | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 247-258) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Categorical Equivalences for Formula quasi-MV Algebras
|
Pengarang: Roberto Giuntini, Francesco Paoli, and Antonio Ledda | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 795-810 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Finitely Presented MV-algebras with Finite Automorphism Group
|
Pengarang: Stefano Aguzzoli and Vincenzo Marra | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 811-822 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The relaxed linear micromorphic continuum: well-posedness of the static problem and relations to the gauge theory of dislocations
|
Pengarang: P. Neff, I. D. Ghiba, M. Lazar, and A. Madeo | No. Panggil: The Quarterly Journal of Mechanics and Applied Mathematics (Volume 68 Issue 1 February 2015, p. 53-84) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|