Hasil Pencarian
	Ditemukan 46 dokumen dengan kata kunci 3961 Simpan CSV  Turing is among us Pengarang: Luís Moniz Pereira | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1257-1277 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Updating Epistemic Logic Programs Pengarang: Yan Zhang | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 405-423 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: First-order universality for real programs Pengarang: Thomas Anberrée | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 729-751 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A logic for normative multi-agent programs Pengarang: Mehdi Dastani, John-Jules Ch. Meyer, and Davide Grossi | No. Panggil: Journal of Logic and Computation April 2013, 23 (2), p. 335-354 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Differential-algebraic Dynamic Logic for Differential-algebraic Programs Pengarang: André Platzer | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 309-352 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Generalized constraint diagrams and the classical decision problem Pengarang: Jim Burton, Gem Stapleton, and John Howse | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 199-262 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Revising option status in argument-based decision systems1 Pengarang: Leila Amgoud and Srdjan Vesic | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1019-1058 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Computing essentials 2012 : making IT work for you Pengarang: O'Leary Timothy J | No. Panggil: 004.65 OLE c | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Education, training and skills in innovation policy Pengarang: Susana Borrás, Charles Edquist | No. Panggil: Science and Public Policy (Volume 42 Issue 2 April 2015, p. 215-227) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Latent submarket dynamics and industry evolution: lessons from the US laser industry Pengarang: Ajay Bhaskarabhatla and Steven Klepper | No. Panggil: Industrial and Corporate Change (Volume 15 Issue 6 December 2014, p. 1381-1415) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4 5  Next