| Ditemukan 17 dokumen dengan kata kunci 4506 |
Simpan CSV  |
|
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 ::
|
|
|
The Uniformity Principle for Σ-definability
|
| Pengarang: Margarita Korovina and Oleg Kudinov | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 159-174 |
|
|
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 ::
|
|
|
On Computational Complexity of Semilinear Varieties
|
| Pengarang: Enrico Marchioni | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 941-958 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Python Scripting for Computational Science
|
|
|
|
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 ::
|
|
|
‘The Sounds of the Psalter: Computational Analysis of Soundplay’
|
| Pengarang: Drayton C. Benner | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 3 September 2014, p. 361-378) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A Logical and Computational Theory of Located Resource
|
| Pengarang: Matthew Collinson, Brian Monahan, and David Pym | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1207-1244 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Uncovering hidden duplicated content in public transcriptomics data
|
| Pengarang: Marta Rosikiewicz, Aurélie Comte, Anne Niknejad, Marc Robinson-Rechavi, dll | No. Panggil: Database (Volume 2013, p.bat010) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A general concept for consistent documentation of computational analyses
|
| Pengarang: Peter Ebert, Fabian Müller, Karl Nordström, Thomas Lengauer, and Marcel H. Schulz | No. Panggil: Database (Volume 2015, p. bav050) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
