| Ditemukan 8 dokumen dengan kata kunci 4683 |
Simpan CSV  |
|
Infinite Computations and a Hierarchy in Δ3 Reconsidered
|
| Pengarang: Branislav Rovan and L'uboŠ Steskal | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 175-176 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Sequent calculi for induction and infinite descent
|
| Pengarang: James Brotherston and Alex Simpson | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1177-1216 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Deconstructing and reconstructing the capability hierarchy
|
| Pengarang: Damian Hine, Rachel Parker, Lisette Pregelj, and Martie-Louise Verreynne | No. Panggil: Industrial and Corporate Change (Volume 15 Issue 5 October 2014, p. 1299-1325) |
|
|
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 ::
|
|
|
Exploring the Computational Content of the Infinite Pigeonhole Principle
|
| Pengarang: Diana Ratiu and Trifon Trifonov | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 329-350 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Enumeration of the adjunctive hierarchy of hereditarily finite sets
|
| Pengarang: Giorgio Audrito, Alexandru I. Tomescu, Stephan Wagner | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 943-963)
|
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Perancangan sistem pendukung keputusan untuk pemiliahan mobil dengan metode HIERARCHY PROCESS
|
|
|
|
On a hierarchy of 5′ → 3′ sensing Watson–Crick finite automata languages
|
| Pengarang: Benedek Nagy | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 855-872 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
