Hasil Pencarian
Ditemukan 103 dokumen dengan kata kunci 4381 Simpan CSV Simpan CSV
On a coalgebraic view on Logic
Pengarang: Dirk Hofmann and Manuel A. Martins | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1097-1106 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Codd's Relational Model from the Point of View of Fuzzy Logic
Pengarang: Radim Belohlavek and Vilem Vychodil | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 851-862 |
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  ::
An abstract view on syntax with sharing
Pengarang: Richard Garner | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1427-1452 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Presentation of Set Functors: A Coalgebraic Perspective
Pengarang: J. Adámek, H. P. Gumm, and V. Trnkova | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 991-1015 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A Note on Expressive Coalgebraic Logics for Finitary Set Functors
Pengarang: Lawrence S. Moss | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1101-1111 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Perancangan sistem informasi geografis (SIG) pada SMP negeri di wilayah jakarta selatan dengan menggunakan arc view
Pengarang: Rizky Wibbawa Bagja | No. Panggil: STI-0019 |
Koleksi: Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Perancangan Sistem Informasi Geografis (SIG) Pada SMP Negeri Di Wilayah Jakarta Selatan Dengan Menggunakan Arc View
Pengarang: Rizky Wibhawa Bagja | No. Panggil: eSTI-2009021 |
Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Constructive Logic with Strong Negation as a Substructural Logic
Pengarang: Manuela Busaniche and Roberto Cignoli | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 761-793 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Reactive standard deontic logic
Pengarang: Dov M. Gabbay and Christian Straßer | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 117-157) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3 4 5 6 7 8 9 10  Next