| Ditemukan 11 dokumen dengan kata kunci 4337 |
Simpan CSV  |
|
Linearity in Computation
|
| Pengarang: Mário Florido and Ian Mackie | No. Panggil: Journal of Logic and Computation June 2014; 24 (3), p. 511-512 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Linearity: A Roadmap
|
| Pengarang: Sandra Alves, Maribel Fernández, Mário Florido, and Ian Mackie | No. Panggil: Journal of Logic and Computation June 2014; 24 (3), p. 513-529 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Computation Rules And Logarthms
|
|
|
|
An Axiomatic System Suggested by Quantum Computation
|
| Pengarang: C. Bertini and R. Leporini | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1175-1198 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
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 ::
|
|
|
Speculative Image Computation for Distributed Symbolic Reachability Analysis
|
| Pengarang: Ming-Ying Chung and Gianfranco Ciardo | No. Panggil: Journal of Logic and Computation February 2011, 21 (3), p. 63-83 |
|
|
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 ::
|
|
|
Evolution and dynamics of node-weighted networks for cellular automata computation
|
| Pengarang: Anca Andreica and Camelia Chira | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 400-409) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation
|
| Pengarang: Peter Baumgartner, Ulrich Furbach, and Björn Pelzer | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 77-109 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Logical and Complexity-theoretic Aspects of Models of Computation with Restricted Access to Arrays
|
| Pengarang: Iain A. Stewart | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 217-242 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
