Ditemukan 20 dokumen dengan kata kunci 4369 |
Simpan CSV ![Simpan CSV](icons/save.png) |
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 ::
|
|
Tableaux for Logics of Subinterval Structures over Dense Orderings
|
Pengarang: Davide Bresolin, Valentin Goranko, Angelo Montanari, and Pietro Sala | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 133-166 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Proof Complexity of the Cut-free Calculus of Structures
|
Pengarang: Emil Jeřábek | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 323-339 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Undecidability in Some Structures Related to Computation Theory
|
Pengarang: Victor L. Selivanov | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 177-197 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Data Structures & Algorithms in Java [Second Edition]
|
|
Freely floating structures trapping time-harmonic water waves
|
Pengarang: Nikolay Kuznetsov and Oleg Motygin | No. Panggil: The Quarterly Journal of Mechanics and Applied Mathematics (Volume 68 Issue 2 May 2015, p. 173-193) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
ParaPep: a web resource for experimentally validated antiparasitic peptide sequences and their structures
|
Pengarang: Divya Mehta, Priya Anand, Vineet Kumar, Anshika Joshi, dll | No. Panggil: Database (Volume 2014, p. bau051) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
CrossTope: a curate repository of 3D structures of immunogenic peptide: MHC complexes
|
Pengarang: Marialva Sinigaglia, Dinler Amaral Antunes, Maurício Menegatti Rigo, José Artur Bogo Chies, dll | No. Panggil: Database (Volume 2013, p.bat002) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Elementarily equivalent structures for topological languages over regions in Euclidean space
|
Pengarang: Ernest Davis | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 457-471 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences
|
Pengarang: Arnold Beckmann, Norbert Preining | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p.
(527-547) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|