Ditemukan 103 dokumen dengan kata kunci 4381 |
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
|
|
Perancangan Sistem Informasi Geografis (SIG) Pada SMP Negeri Di Wilayah Jakarta Selatan Dengan Menggunakan Arc View
|
|
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 ::
|
|