Hasil Pencarian
Ditemukan 20 dokumen dengan kata kunci 4369 Simpan CSV Simpan CSV
Classes of structures with universe a subset of ω1
Pengarang: Ekaterina Fokina, Sy-David Friedman, Julia Knight, and Russell Miller | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1249-1265 |
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  ::
Pseudojumps and Formula Classes
Pengarang: Douglas Cenzer, Geoffrey Laforte, and Guohua Wu | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 77-87 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
From Chaos to Consciousness : A Brief History of the Universe
Pengarang: Corwin, Mike | No. Panggil: ebM-0099 |
Koleksi: e-Book MIPA  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Tractable and intractable classes of propositional schemata
Pengarang: Nicolas Peltier | No. Panggil: Journal of Logic and Computation (October 2014; 24 (5), p. 1111-1139) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Two-to-one structures
Pengarang: Douglas Cenzer, Valentina Harizanov, and Jeffrey B. Remmel | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1195-223 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Least enumerations of partial structures
Pengarang: Angel V. Ditchev | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 717-735 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Algorithmic reducibilities of algebraic structures
Pengarang: Iskander Kalimullin | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 831-843 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Introduction to Vectors : YouTube classes with Dr Chris Tisdell
Pengarang: Tisdell, Christopher C | No. Panggil: ebM-0112 |
Koleksi: e-Book MIPA  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Graph Polynomials: From Recursive Definitions to Subset Expansion Formulas
Pengarang: B. Godlin, E. Katz, and J. A. Makowsky | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 237-265 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2  Next