Hasil Pencarian
Ditemukan 7 dokumen dengan kata kunci 4391 Simpan CSV Simpan CSV
Functions definable by numerical set-expressions
Pengarang: Ian Pratt-Hartmann and Ivo Düntsch | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 873-895 |
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  ::
K-Triviality of Closed Sets and Continuous Functions
Pengarang: George Barmpalias, Douglas Cenzer, Jeffrey B. Remmel, and Rebecca Weber | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 3-16 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Applied Numerical methods with Matlab for Engineers and Scientists
Pengarang: Chapra, Steven | No. Panggil: 629.831 2 CHA a |
Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Joining non-low C.E. sets with diagonally non-computable functions
Pengarang: Laurent Bienvenu, Noam Greenberg, Antonín Kučera, Joseph S. Miller, dll | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1183-1194 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations
Pengarang: Paul E. Oppenheimer and Edward N. Zalta | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 351-374 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Non-manipulable Social Welfare Functions when Preferences are Fuzzy
Pengarang: Juan Perote-Peña and Ashley Piggins | No. Panggil: Journal of Logic and Computation June 2009, 19 (3), p. 503-515 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::