| Ditemukan 101 dokumen dengan kata kunci 4526 |
Simpan CSV  |
|
Partial semantics of argumentation: basic properties and empirical
|
| Pengarang: Beishui Liao and Huaxin Huang | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 541-562 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Inductive Defense for Sceptical Semantics of Extended Argumentation
|
| Pengarang: D. D. Hanh, P. M. Dung, N. D. Hung, and P. M. Thang | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 307-349 |
|
|
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 ::
|
|
|
Computing Minimal Axiomatizations in Gödel Propositional Logic
|
| Pengarang: Stefano Aguzzoli, Ottavio M. D’Antona, and Vincenzo Marra | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 791-812 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
"Implementasi cloud computing di gedung BMKG wilayah II"
|
|
|
|
Computing essentials 2012 : making IT work for you
|
|
|
|
From mathematical logic to programming-language semantics: a discussion with Tony Hoare
|
| Pengarang: Edgar G. Daylight | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p. 1091-1110) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Restricted normal modal logics and levelled possible worlds semantics
|
| Pengarang: Juan C. Agudelo-Agudelo and Manuel H. Sierra-Aristizábal | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 687-704 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Cut-free sequent calculi for C-systems with generalized finite-valued semantics
|
| Pengarang: Arnon Avron, Beata Konikowska, and Anna Zamansky | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 517-540 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
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 ::
|
|
Hasil Pencarian
