Hasil Pencarian
Ditemukan 184 dokumen dengan kata kunci 4554 Simpan CSV Simpan CSV
Logics for some dynamic spaces-II
Pengarang: Md. Aquil Khan, Mohua Banerjee | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 857-878) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Dynamic specification of open agent systems
Pengarang: Alexander Artikis | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1301-1334 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A Multi-Agent System for Dynamic Ontologies
Pengarang: Kevin Ottens, Nathalie Hernandez, Marie-Pierre Gleizes, and Nathalie Aussenac-Gilles | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 831-858 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Multimedia Interpretation for Dynamic Ontology Evolution
Pengarang: Silvana Castano, Irma Sofia Espinosa Peraldi, Alfio Ferrara, Vangelis Karkaletsis,dll | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 859-897 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A Nominal Axiomatization of the Lambda Calculus
Pengarang: Murdoch J. Gabbay and Aad Mathijssen | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 501-531 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Cirquent Calculus Deepened
Pengarang: Giorgi Japaridze | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 983-1028 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Calculus (The Manga Guide To)
Pengarang: Kojima, Hiroyuki | No. Panggil: ebM-0050 |
Koleksi: e-Book MIPA  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Advanced Calculus : Theory and Problems
Pengarang: Spiegel, Murray R. | No. Panggil: ebM-0052 |
Koleksi: e-Book MIPA  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Calculus [Second Edition]
Pengarang: Rogawski, Jon | No. Panggil: ebM-0054 |
Koleksi: e-Book MIPA  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Modelling epistemic actions in interrogative belief revision
Pengarang: Sebastian Enqvist | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1335-1365 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3 4 5 6 7 8 9 10  Next