Ditemukan 34 dokumen dengan kata kunci 4470 |
Simpan CSV |
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 ::
|
|
Degrees of Belief
|
Pengarang: Isaac Levi | No. Panggil: Journal of Logic and Computation October 2008, 18 (5), p. 699-719 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The cf2 argumentation semantics revisited
|
Pengarang: Sarah Alice Gaggl and Stefan Woltran | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 925-949 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Deterministic Graphical Games Revisited
|
Pengarang: Daniel Andersson, Kristoffer Arnsfelt Hansen, Peter Bro Miltersen, and Troels Bjerre Sřrensen | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 165-178 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
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 ::
|
|
Qualitative Temporal and Spatial Reasoning Revisited
|
Pengarang: Manuel Bodirsky and Hubie Chen | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1359-1383 |
|
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 ::
|
|
Enumeration Degrees and Enumerability of Familes
|
Pengarang: Iskander Kalimullin | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 151-158 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Low linear orderings
|
Pengarang: Andrey N. Frolov | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 745-754 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|