Hasil Pencarian
	Ditemukan 80 dokumen dengan kata kunci 4450 Simpan CSV  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  :: Property-based Slicing for Agent Verification Pengarang: Rafael H. Bordini, Michael Fisher, Michael Wooldridge, and Willem Visser | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1385-1425 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Interaction-based Runtime Verification for Systems of Systems Integration Pengarang: Ingolf H. Krüger, Michael Meisinger, and Massimiliano Menarini | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 725-742 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Modelling and Analysis of Manufacturing Systems Pengarang: Askin, Ronald G. | No. Panggil: 620.1 ASK m | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A logical basis for constructive systems Pengarang: Giorgi Japaridze | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 605-642 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Elektronic communication systems Pengarang: Kennedy, George | No. Panggil: 621.382 KEN e | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Alternating-time temporal dynamic epistemic logic Pengarang: Tiago de Lima | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p1145-1178) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Obligations with deadlines: a formalization in Dynamic Deontic Logic Pengarang: Robert Demolombe | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p. 1-17 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: From Situation Calculus to Dynamic Epistemic Logic Pengarang: Hans Van Ditmarsch, Andreas Herzig, and Tiago De Lima | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 179-204 | 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  :: Prev   1 2 3 4 5 6 7 8  Next