Ditemukan 105 dokumen dengan kata kunci 4533 |
Simpan CSV |
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 ::
|
|
Complexity Issues in Axiomatic Extensions of Łukasiewicz Logic
|
Pengarang: Petr Cintula and Petr Hájek | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 245-260 |
|
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)
|
|
Studi Literatur Algoritma Perancangan Fuzzy Logic Pada Controller
|
|
Linear Temporal Logic ℒ𝒯ℒK extended by Multi-Agent Logic Kn with Interacting Agents
|
Pengarang: Vladimir Rybakov | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 989-1017 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Bi-modal Gödel logic over [0,1]-valued Kripke frames
|
Pengarang: Xavier Caicedo and Ricardo Oscar Rodríguez | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 37-55) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Preference-based argumentation built from prioritized logic programming
|
Pengarang: Toshiko Wakaki | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. 251-301) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|