Hasil Pencarian
Ditemukan 29 dokumen dengan kata kunci 3613 Simpan CSV Simpan CSV
The complexity of handling minimal solutions in logic-based abduction
Pengarang: Andreas Pfandler, Reinhard Pichler, Stefan Woltran | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p.805-825) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Complexity Classifications for Propositional Abduction in Post's Framework
Pengarang: Nadia Creignou, Johannes Schmidt, and Michael Thomas | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1145-1170 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Implementing crash-resistance and non-interference in logic-based argumentation
Pengarang: Yining Wu, Mikołaj Podlaszewski | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. 303-333) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Engineering Thermodunamics Solutions Manual
Pengarang: T.T Al-Shemmeri | No. Panggil: ebM-0087 |
Koleksi: e-Book MIPA  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Essential Electrodynamics: Solutions
Pengarang: Protheroe, Raymond John | No. Panggil: ebM-0091 |
Koleksi: e-Book MIPA  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Essential Electromagnetism : Solutions
Pengarang: Protheroe, Raymond John | No. Panggil: ebM-0093 |
Koleksi: e-Book MIPA  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Remarks on some general features of abduction
Pengarang: Luis Estrada-González | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 181-197 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Quasi-minimal degrees for degree spectra
Pengarang: Alexandra A. Soskova and Ivan N. Soskov | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1319-1334 |
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  ::
Solutions to Some Open Problems on Totally Ordered Monoids
Pengarang: Rostislav Horčík | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 977-983 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3  Next