Ditemukan 128 dokumen dengan kata kunci 3695 |
Simpan CSV |
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 ::
|
|
Semantically closed intuitionistic abstract logics
|
Pengarang: Steffen Lewitzka | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p 351-374 |
|
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 ::
|
|
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 ::
|
|
Two-photon excitation fluorescence microscopy and its application in functional connectomics
|
Pengarang: Tomomi Nemoto, Ryosuke Kawakami, Terumasa Hibi, Koichiro Iijima, dll | No. Panggil: Microscopy (Volume 64 Issue 1 February 2015, p. 9-15) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Model-theoretic characterization of intuitionistic predicate formulas
|
Pengarang: Grigory K. Olkhovikov | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 809-829 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|