| Ditemukan 62 dokumen dengan kata kunci 4684 |
Simpan CSV  |
|
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 ::
|
|
|
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 ::
|
|
|
Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication
|
| Pengarang: Grigoriy V. Bokov | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 341-353) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Computation Rules And Logarthms
|
|
|
|
Logics for some dynamic spaces-I
|
| Pengarang: Md. Aquil Khan, Mohua Banerjee | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 827-856) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Some properties of maximal sets
|
| Pengarang: Roland SH. Omanadze and Irakli O. Chitaia | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 628-639) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Two-to-one structures
|
| Pengarang: Douglas Cenzer, Valentina Harizanov, and Jeffrey B. Remmel | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1195-223 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Least enumerations of partial structures
|
| Pengarang: Angel V. Ditchev | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 717-735 |
|
|
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 ::
|
|
|
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 ::
|
|
Hasil Pencarian
