Hasil Pencarian
	Ditemukan 111 dokumen dengan kata kunci 4424 Simpan CSV  On the existence of a modal-logical basis for monadic second-order logic Pengarang: Lauri Hella and Tero Tulenheimo | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 157-180 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Linear Temporal Logic LTL: Basis for Admissible Rules Pengarang: Sergey Babenyshev and Vladimir Rybakov | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 157-177 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: On the existence of persistently outperforming firms Pengarang: Marco Capasso, Elena Cefis, and Koen Frenken | No. Panggil: Industrial and Corporate Change (Volume 23 Issue 4 August 2014, p. 997-1036) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Synthesizing Monadic Predicates Pengarang: Carlo Meghini and Nicolas Spyratos | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 831-847 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A logical basis for constructive systems Pengarang: Giorgi Japaridze | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 605-642 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Sistem Basis Data Pengarang: Ramli, S.KOM | No. Panggil: ebTI - 00270 | Koleksi: e-Book TI  :: Cari yang mirip  :: Tambahkan ke Favorit  :: State smearing theorems and the existence of states on some atomic lattice effect algebras Pengarang: Zdenka Riečanová and Jan Paseka | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 863-882 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Modul Pemograman Basis Data Lanjut My SQL No. Panggil: ebTI - 00241 | Koleksi: e-Book TI  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences Pengarang: Arnold Beckmann, Norbert Preining | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. (527-547) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Dasar Basis Data Graf & Neo4j : Panduan untuk mempelajari pembuatan basis data graf dengan mudah dan cepat Pengarang: Abdul Kadir | No. Panggil: 005.74 ABD d | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4 5 6 7 8 9 10  Next