Ditemukan 28 dokumen dengan kata kunci 3721 |
Simpan CSV ![Simpan CSV](icons/save.png) |
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 ::
|
|
Enumeration of the adjunctive hierarchy of hereditarily finite sets
|
Pengarang: Giorgio Audrito, Alexandru I. Tomescu, Stephan Wagner | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 943-963)
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Counting the changes of random Δ20 sets
|
Pengarang: Santiago Figueira,Denis R. Hirschfeldt,Joseph S. Miller,Keng Meng Ng, | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p. 1073-1089) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The Settling Time Reducibility Ordering and Δ02 Sets
|
Pengarang: Barbara F. Csima | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 145-150 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
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 ::
|
|
Model-theoretic and Computational Properties of Modal Dependence Logic
|
Pengarang: Merlijn Sevenster | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1157-1173 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
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 ::
|
|
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 ::
|
|