Hasil Pencarian
	Ditemukan 45 dokumen dengan kata kunci 4629 Simpan CSV  Verification of Games in the Game Description Language Pengarang: Ji Ruan, Wiebe van der Hoek, and Michael Wooldridge | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1127-1156 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Dependency in Cooperative Boolean Games Pengarang: Luigi Sauro and Serena Villata | No. Panggil: Journal of Logic and Computation April 2013, 23 (2), p. 425-444 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Deterministic Graphical Games Revisited Pengarang: Daniel Andersson, Kristoffer Arnsfelt Hansen, Peter Bro Miltersen, and Troels Bjerre Sřrensen | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 165-178 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Collaborative Runtime Verification with Tracematches Pengarang: Eric Bodden, Laurie Hendren, Patrick Lam, Ondřej Lhoták, dll | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 707-723 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Language and gender in Congressional speech Pengarang: Bei Yu | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 1 April 2014, p. 118-132) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: NATURAL LANGUAGE PROCESSING Pengarang: Ivan Rifky Hendrawan | No. Panggil: 006.3 IVA n | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Social choice and the logic of simple games Pengarang: Tijmen R. Daniëls | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 883-906 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Core of Coalition Games on MV-algebras Pengarang: TomᚠKroupa | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 479-492 | 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  :: Model Checking Using Description Logic Pengarang: Shoham Ben-David, Richard Trefler, and Grant Weddell | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 111-1131 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4 5  Next