Hasil Pencarian
Ditemukan 13 dokumen dengan kata kunci 3717 Simpan CSV Simpan CSV
Some non-classical approaches to the Brandenburger–Keisler paradox
Pengarang: Can Başkent | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 533-552) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Connectomics: comprehensive approaches for whole-brain mapping
Pengarang: Shinsuke Shibata, Yuji Komaki, Fumiko Seki, Michiko O. Inouye, dll | No. Panggil: Microscopy (Volume 64 Issue 1 February 2015, p. 57-67) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Embedding-based approaches to paraconsistent and temporal description logics
Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1097-1124 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Logics for some dynamic spaces-I
Pengarang: Md. Aquil Khan, Mohua Banerjee | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 827-856) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Some properties of maximal sets
Pengarang: Roland SH. Omanadze and Irakli O. Chitaia | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 628-639) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Logics for some dynamic spaces-II
Pengarang: Md. Aquil Khan, Mohua Banerjee | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 857-878) |
Koleksi: e-Article Oxford Journal  :: 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  ::
Strong normalization in some temporal substructural logics
Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 1-24 |
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  ::
Undecidability in Some Structures Related to Computation Theory
Pengarang: Victor L. Selivanov | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 177-197 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2  Next