Ditemukan 56 dokumen dengan kata kunci 3587 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Information About a Given Entity: From Semantics Towards Automated Deduction
|
Pengarang: Robert Demolombe and Luis Fariņas del Cerro | No. Panggil: Journal of Logic and Computation December 2010, 20 (6), p. 1231-1250 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation
|
Pengarang: Phan Minh Thang, Phan Minh Dung, and Nguyen Duy Hung | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1071-1109 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Gsm Gprs And Edge Performance Evolution Towards 3G Umts Ebook-Kb
|
|
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 Zmekal, 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 ::
|
|
Introduction to Modeling and Control of Internal Combustion Engine Systems
|
|
Modelling Batch Systems Using Population Balances
|
|