Ditemukan 42 dokumen dengan kata kunci 4665 |
Simpan CSV ![Simpan CSV](icons/save.png) |
A tableau for general linear temporal logic
|
Pengarang: Mark Alexander Reynolds | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1057-1080 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Remarks on some general features of abduction
|
Pengarang: Luis Estrada-González | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 181-197 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Ontology merging as social choice: judgment aggregation under the open world assumption
|
Pengarang: Daniele Porello and Ulle Endriss | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p1229-49) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A general concept for consistent documentation of computational analyses
|
Pengarang: Peter Ebert, Fabian Müller, Karl Nordström, Thomas Lengauer, and Marcel H. Schulz | No. Panggil: Database (Volume 2015, p. bav050) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A general framework for product representations: bilattices and beyond
|
Pengarang: L. M. CABRER and H. A. PRIESTLEY | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 816-841) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Diffraction by an impedance strip I. Reducing diffraction problem to Riemann–Hilbert problems
|
Pengarang: A. V. Shanin and A. I. Korolkov | No. Panggil: The Quarterly Journal of Mechanics and Applied Mathematics (Volume 68 Issue 3 Agustus 2015, p. 321-339) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Trilattice logic: an embedding-based approach
|
Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. (581-611) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
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 ::
|
|