Ditemukan 64 dokumen dengan kata kunci 4702 |
Simpan CSV ![Simpan CSV](icons/save.png) |
The Management of Manufacturing : Models and Analysis
|
|
A tableau for general linear temporal logic
|
Pengarang: Mark Alexander Reynolds | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1057-1080 |
|
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 ::
|
|
Probabilistic models for intuitionistic predicate logic
|
Pengarang: George Georgescu | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1165-1176 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Models for Many-Valued Probabilistic Reasoning
|
Pengarang: Tommaso Flaminio and Franco Montagna | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 447-464 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Completeness and decidability results for a logic of contrary-to-duty conditionals
|
Pengarang: José M. C. L. M. Carmo and Andrew J. I. Jones | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 585-626 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Modal compact Hausdorff spaces
|
Pengarang: Guram Bezhanishvili, Nick Bezhanishvili, and John Harding | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 1-35) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Relation-changing modal operators
|
Pengarang: Carlos Areces, Raul Fervari, and Guillaume Hoffmann | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 601-627) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Exemplaric Expressivity of Modal Logics
|
Pengarang: Bart Jacobs and Ana Sokolova | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1041-1068 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Rank-1 Modal Logics are Coalgebraic
|
Pengarang: Lutz Schröder and Dirk Pattinson | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1113-1147 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|