| Ditemukan 15 dokumen dengan kata kunci 4448 |
Simpan CSV  |
|
Turing is among us
|
| Pengarang: Luís Moniz Pereira | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1257-1277 |
|
|
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 ::
|
|
|
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 ::
|
|
|
Bijective faithful translations among default logics
|
| Pengarang: Paolo Liberatore | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 763-807 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Oracles that measure thresholds: the Turing machine and the broken balance
|
| Pengarang: Edwin Beggs, José Félix Costa, Diogo Poças, and John V. Tucker | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1155-1181 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Low upper bounds in the Turing degrees revisited
|
| Pengarang: George Barmpalias and André Nies | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 693-699 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Determinants of inter-firm networks among tenants of science technology parks
|
| Pengarang: Özgecan Koçak and Özge Can | No. Panggil: Industrial and Corporate Change (Volume 23 Issue 2 April 2014, p. 467-492) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The rules of the game are changing: Scientific impact factors and publication strategies among logicians
|
| Pengarang: Hans van Ditmarsch and Rineke Verbrugge | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 121-132 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Higher Types, Finite Domains and Resource-bounded Turing Machines
|
| Pengarang: Lars Kristiansen | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 281-304 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Toward an assessment of impacts from US technology and innovation policies
|
| Pengarang: Barry Bozeman, Albert N. Link | No. Panggil: Science and Public Policy (Volume 42 Issue 3 June 2015, p. 369-376) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
