Ditemukan 79 dokumen dengan kata kunci 4327 |
Simpan CSV ![Simpan CSV](icons/save.png) |
On the semantics of abstract argumentation
|
Pengarang: A.C. Kakas and P. Mancarella | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 991-1015 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Semi-stable semantics
|
Pengarang: Martin W. A. Caminada, Walter A. Carnielli, and Paul E. Dunne | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1207-1254 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Modal compact Hausdorff spaces
|
Pengarang: Guram Bezhanishvili, Nick Bezhanishvili, and John Harding | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 1-35) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Relation-changing modal operators
|
Pengarang: Carlos Areces, Raul Fervari, and Guillaume Hoffmann | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 601-627) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A formal semantics for agent (re)organization
|
Pengarang: Frank Dignum and Virginia Dignum | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p. 1341-1363) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The enriched effect calculus: syntax and semantics
|
Pengarang: Jeff Egger, Rasmus Ejlers Møgelberg, and Alex Simpson | No. Panggil: Journal of Logic and Computation June 2014; 24 (3), p. 615-654 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Cover semantics for quantified lax logic
|
Pengarang: Robert Goldblatt | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1035-1063 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Comparing LTL Semantics for Runtime Verification
|
Pengarang: Andreas Bauer, Martin Leucker, and Christian Schallhart | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 651-674 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Increased effectiveness of carbon ions in the production of reactive oxygen species in normal human fibroblasts
|
Pengarang: Till Dettmering, Sebastian Zahnreich, Miriam Colindres-Rojas, Marco Durante, dll | No. Panggil: Journal of Radiation Research (Volume 23 Issue 1 January 2015, p.67-76) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Reduction of provability logics to Σ1-provability logics
|
Pengarang: Mohammad Ardeshir and S. Mojtaba Mojtahedi | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 842-847) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|