Ditemukan 157 dokumen dengan kata kunci 4566 |
Simpan CSV ![Simpan CSV](icons/save.png) |
A hybrid qualitative approach for relative movements
|
Pengarang: Joanna Golińska-Pilarek and Emilio Muņoz-Velasco | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 410-420) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
An equational approach to the merging of argumentation networks
|
Pengarang: Dov. M. Gabbay and Odinaldo Rodrigues | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p. 1253-1277) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Logics in access control: a conditional approach
|
Pengarang: Valerio Genovese, Laura Giordano, Valentina Gliozzi, and Gian Luca Pozzato | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 705-762 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Simulation Modeling Handbook : A Pratical Approach
|
|
Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures
|
Pengarang: Giuliano Grossi, Massimo Marchi, Enrico Pontelli, and Alessandro Provetti | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 697-715 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A robust data-driven approach for gene ontology annotation
|
|
BioC: a minimalist approach to interoperability for biomedical text processing
|
Pengarang: Donald C. Comeau, Rezarta Islamaj Doğan, Paolo Ciccarese, Kevin Bretonnel Cohen, dll | No. Panggil: Database (Volume 2013, p.bat064) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Situated normative infrastructures: the normative object approach
|
Pengarang: Fabio Yoshimitsu Okuyama, Rafael H. Bordini, and Antônio Carlos da Rocha Costa | No. Panggil: Journal of Logic and Computation April 2013, 23 (2), p. 397-424 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Category-based Equational Reasoning: An Approach to Ontology Integration
|
Pengarang: Joe Geldart and William Song | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 791-806 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A Translation-based Approach to the Verification of Modular Equivalence
|
Pengarang: Emilia Oikarinen and Tomi Janhunen | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 591-613 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|