Ditemukan 184 dokumen dengan kata kunci 4554 |
Simpan CSV ![Simpan CSV](icons/save.png) |
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)
|
|
Advanced Calculus : Theory and Problems
|
|
Calculus [Second Edition]
|
|
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 ::
|
|