Ditemukan 80 dokumen dengan kata kunci 4450 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Basic Hydraulic Systems and Components : Edtion A
|
|
Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator
|
Pengarang: Mario R. F. Benevides and L. Menasché Schechter | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 919-951) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Negobot: Detecting paedophile activity with a conversational agent based on game theory
|
Pengarang: Carlos Laorden, Patxi Galán-García, Igor Santos, Borja Sanz, dll | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 1 February 2015, p. 17-30) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Non-monotonic reasoning with normative conflicts in multi-agent deontic logic
|
Pengarang: Mathieu Beirlaen and Christian Straßer | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p1179-1207) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Opening the black box of trust: reasoning about trust models in a BDI agent
|
Pengarang: Andrew Koster, Marco Schorlemmer, and Jordi Sabater-Mir | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 25-58 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Recent complexity-theoretic results on P systems with active membranes
|
Pengarang: Giancarlo Mauri, Alberto Leporati, Antonio E. Porreca, Claudio Zandron | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p. 1047- 1071) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Metaheuristic algorithms for optimization of resilient overlay computing systems
|
Pengarang: Krzysztof Walkowiak, Wojciech Charewicz, Maciej Donajski, and Jacek Rak | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 1 February 2015, p. 31-44) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Investigation on operating systems identification by means of fractal geometry
|
Pengarang: Ivan Zelinka, Oldřich Zmeškal, and Filip Merhaut | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 1 February 2015, p. 88-104) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Prefix probabilities for linear context-free rewriting systems
|
Pengarang: Mark-Jan Nederhof and Giorgio Satta | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 331-350 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Deduction Systems for Coalgebras Over Measurable Spaces
|
Pengarang: Robert Goldblatt | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1069-1100 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|