Hasil Pencarian
Ditemukan 132 dokumen dengan kata kunci 4630 Simpan CSV Simpan CSV
Aplikasi Web Dengan DreamWeaver MC Pada Badan Pengawas Pasar Modal
Pengarang: Hafduasrsya Saiyar | No. Panggil: STI-0026 |
Koleksi: Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Aplikasi web dengan Dreamweaver MX pada badan pengawas pasar modal.
Pengarang: Hafdiasrsya Saiyar | No. Panggil: eSTI-2005005 |
Koleksi: e-Skripsi Teknik Informatika  :: 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  ::
A substructural logic for layered graphs
Pengarang: Matthew Collinson, Kevin McDonald, and David Pym | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 953-988) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
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  ::
A Logic for prioritized normative reasoning
Pengarang: Frederik Van De Putte and Christian Straßer | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 563-583 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
The d-logic of the real line
Pengarang: Joel Gregory Lucero-Bryan | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 121-156 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Logic for coalitions with bounded resources
Pengarang: Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 907-937 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Public communication in justification logic
Pengarang: Bryan Renne | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1005-1034 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Eskolemization in Intuitionistic Logic
Pengarang: Matthias Baaz and Rosalie Iemhoff | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 625-638 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3 4 5 6 7 8 9 10  Next