Ditemukan 22 dokumen dengan kata kunci 4389 |
Simpan CSV  |
Algorithmic solution of higher type equations
|
Pengarang: Martín Escardó | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 839-854 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Algorithmic reducibilities of algebraic structures
|
Pengarang: Iskander Kalimullin | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 831-843 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Partial Differential Equations : Theory and Problems
|
|
The most probable string: an algorithmic study
|
Pengarang: Colin de la Higuera and Jose Oncina | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 311-330 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hairpin lengthening: language theoretic and algorithmic results
|
Pengarang: Florin Manea, Carlos Martín-Vide, Victor Mitrana | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p.987-1009) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Fundamentals of Fluid Mechanics (6E - Munson) Solution Manual
|
|
Mechanics Of Materials Solution Manual (3Rd Ed , By Be
|
|
COMPUTER SCIENCE / IT GATE papers with answer keys and Solution
|
|
Computation of higher order ellipsoidal harmonics with an application in electroencephalography
|
Pengarang: George Dassios and Ioannis K. Chatjigeorgiou | No. Panggil: The Quarterly Journal of Mechanics and Applied Mathematics (Volume 68 Issue 2 May 2015, p. 145-172) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The recursive path and polynomial ordering for first-order and higher-order terms
|
Pengarang: Miquel Bofill, Cristina Borralleras, Enric Rodríguez-Carbonell, and Albert Rubio | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 263-305 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|