Hasil Pencarian
Ditemukan 31 dokumen dengan kata kunci 4342 Simpan CSV Simpan CSV
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  ::
The Annotation-enriched non-redundant patent sequence databases
Pengarang: Weizhong Li, Bartosz Kondratowicz, Hamish McWilliam, Stephane Nauche, dll | No. Panggil: Database (Volume 2013, p. bat005) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Initial semantics in logics with constructors
Pengarang: Daniel Găină and Kokichi Futatsugi | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 95-116) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Formal semantics for perceptual classification
Pengarang: Staffan Larsson | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. 335-369) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
The cf2 argumentation semantics revisited
Pengarang: Sarah Alice Gaggl and Stefan Woltran | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 925-949 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
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  ::
Excellence and growth dynamics: A comparative study of the Matthew effect
Pengarang: Liv Langfeldt, Mats Benner, Gunnar Sivertsen, Ernst H. Kristiansen, dll | No. Panggil: Science and Public Policy (Volume 42 Issue 5 October 2015, p. 661-675) |
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  ::
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  ::
Prev   1 2 3 4  Next