Hasil Pencarian
	Ditemukan 59 dokumen dengan kata kunci 4686 Simpan CSV  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  :: Recent complexity-theoretic results on P systems with active membranes Pengarang: Giancarlo Mauri, Alberto Leporati, Antonio E. Porreca, Claudio Zandron | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p. 1047- 1071) | 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  :: First-order aspects of tree paths Pengarang: Ruaan Kellerman | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 688-704) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: States on Bold Algebras: Categorical Aspects Pengarang: Roman Frič | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 465-477 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Computation Rules And Logarthms Pengarang: Holman, Silas W | No. Panggil: ebTI - 00285 | Koleksi: e-Book TI  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A logical basis for constructive systems Pengarang: Giorgi Japaridze | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 605-642 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: The Management of Manufacturing : Models and Analysis Pengarang: Anderson, Edward J | No. Panggil: 658.5 AND m | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Restricted normal modal logics and levelled possible worlds semantics Pengarang: Juan C. Agudelo-Agudelo and Manuel H. Sierra-Aristizábal | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 687-704 | 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  :: Prev   1 2 3 4 5 6  Next