Hasil Pencarian
Ditemukan 22 dokumen dengan kata kunci 4476 Simpan CSV Simpan CSV
High frequency homogenisation for elastic lattices
Pengarang: D. J. Colquitt, R. V. Craster, and M. Makwana | No. Panggil: The Quarterly Journal of Mechanics and Applied Mathematics (Volume 68 Issue 2 May 2015, p. 203-230) |
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  ::
Turing and enumeration jumps in the Ershov hierarchy
Pengarang: Marat Kh. Faizrahmanov and Iskander Sh. Kalimullin | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 737-743 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Embedding-based approaches to paraconsistent and temporal description logics
Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1097-1124 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Quasi-minimal degrees for degree spectra
Pengarang: Alexandra A. Soskova and Ivan N. Soskov | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1319-1334 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Model-theoretic properties of the n-c.e. degrees
Pengarang: Marat M. Arslanov | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 669-677 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Spectra of highn and non-lown degrees
Pengarang: Andrey Frolov, Iskander Kalimullin, Valentina Harizanov, Oleg Kudinov, dll | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 755-777 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Triviality and Minimality in the Degrees of Monotone Complexity
Pengarang: William C. Calhoun | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 197-206 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Optimal decompositions of matrices with entries from residuated lattices
Pengarang: Radim Belohlavek | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1405-1425 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
Pengarang: Manuela Busaniche and Roberto Cignoli | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1019-1029 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3  Next