Ditemukan 37 dokumen dengan kata kunci 4559 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Software implementation of cryptographic sequence generators over extended fields
|
Pengarang: O. Delgado-Mohatar and A. Fúster-Sabater | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 1 February 2015, p. 73-87) |
|
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 ::
|
|
Translating preferred subtheories into structured argumentation
|
Pengarang: P. M. Thang and H. T. Luong | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 831-849 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Modelling Judicial Context in Argumentation Frameworks
|
Pengarang: Adam Wyner and Trevor Bench-Capon | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 941-968 |
|
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 ::
|
|
A formal analysis of the role of argumentation in negotiation dialogues
|
Pengarang: Leila Amgoud and Srdjan Vesic | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 957-978 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Using argumentation to reason about trust and belief
|
Pengarang: Yuqing Tang, Kai Cai, Peter McBurney, Elizabeth Sklar, and Simon Parsons | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 979-1018 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|