Hasil Pencarian
Ditemukan 14 dokumen dengan kata kunci 4685 Simpan CSV Simpan CSV
A Jump Inversion Theorem for the Degree Spectra
Pengarang: Alexandra A. Soskova and Ivan N. Soskov | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 199-215 |
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  ::
Properties of the jump classes
Pengarang: Andrew E. M. Lewis | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 845-855 |
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  ::
Nominal Algebra and the HSP Theorem
Pengarang: Murdoch J. Gabbay | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 341-367 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Definable relations in Turing degree structures
Pengarang: Marat M. Arslanov | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1145-1154 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Deduction-detachment theorem in hidden k-logics
Pengarang: Sergey Babenyshev and Manuel A. Martins | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.233-255 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Woman Murder Club 3 : 3rd Degree
Pengarang: Patterson, James | No. Panggil: ebF-000192 |
Koleksi: e-Book Fiksi  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A small model theorem for the hybrid μ-calculus
Pengarang: Kuniaki Tamura | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. (405-441) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Extreme Networks WLAN Jump Start Student Guide V1.3
No. Panggil: ebTI - 00209 |
Koleksi: e-Book TI  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2  Next