Ditemukan 128 dokumen dengan kata kunci 3695 |
Simpan CSV |
Bases of Admissible Rules of Łukasiewicz Logic
|
Pengarang: Emil Jeřábek | No. Panggil: Journal of Logic and Computation December 2010, 20 (6), p. 1149-1163 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A Non-finitary Sentential Logic that is Elementarily Algebraizable
|
Pengarang: J.G. Raftery | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 969-975 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Differential-algebraic Dynamic Logic for Differential-algebraic Programs
|
Pengarang: André Platzer | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 309-352 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The Logic of Acceptance: Grounding Institutions on Agents’ Attitudes
|
Pengarang: Emiliano Lorini, Dominique Longin, Benoit Gaudou, and Andreas Herzig | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 901-940 |
|
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 ::
|
|
On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB
|
Pengarang: Zofia Kostrzycka | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1199-1205 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Nominal (Universal) Algebra: Equational Logic with Names and Binding
|
Pengarang: Murdoch J. Gabbay and Aad Mathijssen | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1455-1508 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On Instance-level Update and Erasure in Description Logic Ontologies
|
Pengarang: Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, and Riccardo Rosati | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 745-770 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Programmable Logic Controllers : Programming Methods and Applications
|
|
Kontrol Logika Terprogram Programmable Logic Controller (PLC)
|
|