Hasil Pencarian
	Ditemukan 50 dokumen dengan kata kunci 4525 Simpan CSV  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  :: 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  :: Parallel SAT Solving in Bounded Model Checking Pengarang: Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, dll | No. Panggil: Journal of Logic and Computation February 2011, 21 (3), p. 5-21 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: TCTL Model Checking of Time Petri Nets Pengarang: Hanifa Boucheneb, Guillaume Gardey, and Olivier H. Roux | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1509-1540 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: First-order aspects of tree paths Pengarang: Ruaan Kellerman | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 688-704) | Koleksi: e-Article Oxford Journal  :: 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  :: 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  :: FarsiSpell: A spell-checking system for Persian using a large monolingual corpus Pengarang: Tayebeh Mosavi Miangah | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 1 April 2015, p. 56-73) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Research collaboration in the social sciences: What factors are associated with disciplinary and interdisciplinary collaboration? Pengarang: Richard Woolley, Mabel Sánchez-Barrioluengo, Tim Turpin, Jane Marceau | No. Panggil: Science and Public Policy (Volume 42 Issue 4 Agustus 2015, p. 567-582) | 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  :: Prev   1 2 3 4 5  Next