Hasil Pencarian
	Ditemukan 110 dokumen dengan kata kunci 4549 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  :: Programmable Logic Controllers : Programming Methods and Applications Pengarang: Hackworth, John R. | No. Panggil: ebTI - 00178 | Koleksi: e-Book TI  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Kontrol Logika Terprogram Programmable Logic Controller (PLC) Pengarang: Betson Ferdinal Saputro | No. Panggil: ePE-2018003 | Koleksi: e-Laporan PKL Elektro  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Studi Literatur Algoritma Perancangan Fuzzy Logic Pada Controller Pengarang: Elly Fadiah | No. Panggil: eSTI-2005003 | Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: 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  :: 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  :: Implementing crash-resistance and non-interference in logic-based argumentation Pengarang: Yining Wu, Mikołaj Podlaszewski | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. 303-333) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Quantifiers in logic and proof-search using permissive-nominal terms and sets Pengarang: Murdoch J. Gabbay, Claus-Peter Wirth | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. (473-523) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   4 5 6 7 8 9 10 11  Next