Ditemukan 30 dokumen dengan kata kunci 4602 |
Simpan CSV ![Simpan CSV](icons/save.png) |
A Note on Expressive Coalgebraic Logics for Finitary Set Functors
|
Pengarang: Lawrence S. Moss | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1101-1111 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The moderating role of the complementary nature of technological resources in the diversification–performance relationship
|
Pengarang: Maryam Nasiriyar, Lionel Nesta, and Ludovic Dibiaggio | No. Panggil: Industrial and Corporate Change (Volume 15 Issue 5 October 2014, p. 1357-1380) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Programmable Logic Controllers : Programming Methods and Applications
|
|
Creating a specialist protein resource network: a meeting report for the protein bioinformatics and community resources retreat
|
Pengarang: Patricia C. Babbitt, Pantelis G. Bagos, Amos Bairoch, Alex Bateman, dll | No. Panggil: Database (Volume 2015, p. bav063) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Preference-based argumentation built from prioritized logic programming
|
Pengarang: Toshiko Wakaki | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. 251-301) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
From mathematical logic to programming-language semantics: a discussion with Tony Hoare
|
Pengarang: Edgar G. Daylight | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p. 1091-1110) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Polynomial time certifying algorithms for the planar quantified integer programming problem
|
Pengarang: Z. Liang, K. Subramani, and J. Worthington | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1017-1033 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
|
Pengarang: Andrej Bauer and Christopher A. Stone | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 17-43 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Microsoft Visual Basic 2008 Express Programming for the absolute beginner
|
|
Penerapan Sistem Informasi Akademi Dengan Metode Extreme Programming Pada Taman Kanak-Kanak Almadani Kabupaten Bogor
|
|