| Ditemukan 18 dokumen dengan kata kunci 4365 |
Simpan CSV  |
|
Oracles that measure thresholds: the Turing machine and the broken balance
|
| Pengarang: Edwin Beggs, José Félix Costa, Diogo Poças, and John V. Tucker | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1155-1181 |
|
|
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 ::
|
|
|
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 ::
|
|
|
Computing inconsistency measure based on paraconsistent semantics
|
| Pengarang: Yue Ma, Guilin Qi, and Pascal Hitzler | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1257-1281 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
|
| Pengarang: Luís Cruz-Filipe, João Rasga, Amílcar Sernadas, and Cristina Sernadas | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 885-911 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Fundamentals of Machine Component Design
|
|
|
|
Marks' Caluculations for Machine Design
|
|
|
|
Machine Drawing (THIRD EDITION)
|
|
|
|
MACHINE LEARNING DALAM BIOINFORMATIKA
|
|
|
Hasil Pencarian
