Ditemukan 69 dokumen dengan kata kunci 4669 |
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 ::
|
|
Logical and Complexity-theoretic Aspects of Models of Computation with Restricted Access to Arrays
|
Pengarang: Iain A. Stewart | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 217-242 |
|
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 ::
|
|
Differential and integral calculus for logical operations. A matrix–vector approach
|
Pengarang: Eduardo Mizraji | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. (613-638) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation
|
Pengarang: Peter Baumgartner, Ulrich Furbach, and Björn Pelzer | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 77-109 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
General Models and Completeness of First-Order Modal μ-calculus
|
Pengarang: Ryo Kashima and Keishi Okamoto | No. Panggil: Journal of Logic and Computation August 2008, 18 (4), p. 497-507 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences
|
Pengarang: Arnold Beckmann, Norbert Preining | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p.
(527-547) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Analysis of the complexity of the sperm acrosomal membrane by super-resolution stimulated emission depletion microscopy compared with transmission electron microscopy
|
Pengarang: Chizuru Ito, Kenji Yamatoya, and Kiyotaka Toshimori | No. Panggil: Microscopy (Volume 64 Issue 4 Agustus 2015, p. 279-287) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Managing the data deluge: data-driven GO category assignment improves while complexity of functional annotation increases
|
Pengarang: Julien Gobeill, Emilie Pasche, Dina Vishnyakova, and Patrick Ruch | No. Panggil: Database (Volume 2013, p.bat041) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|