Hasil Pencarian
	Ditemukan 119 dokumen dengan kata kunci 4515 Simpan CSV  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  :: Ontology merging as social choice: judgment aggregation under the open world assumption Pengarang: Daniele Porello and Ulle Endriss | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p1229-49) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A Simple Proof of Completeness and Cut-admissibility for Propositional Gödel Logic Pengarang: Arnon Avron | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 813-821 | 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  :: 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  :: 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  :: Simple heuristics for enhancing GP learning Pengarang: José R. Villar, Enrique A. de la Cal, Javier Sedano, and Marco A. García Tamargo | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 472-484) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Verifying social expectations by model checking truncated paths Pengarang: Stephen Cranefield and Michael Winikoff | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1217-1256 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Penyaring Kata-kata Kotor pada Social Media Twitter Pengarang: Firdaus Al Hanif | No. Panggil: eSTI-2021047 | Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4 5 6 7 8 9 10  Next