Hasil Pencarian
	Ditemukan 70 dokumen dengan kata kunci 4335 Simpan CSV  Analisa dan Simulasi Server DHCP (Dynamic Host Configuration Protocol) Jaringan Virtual Pada kantor Televisi Republik Indonesia (TVRI) Bagian IT Pengarang: Syarifuddin | No. Panggil: ePKL-2017045 | Koleksi: e-Laporan PKL Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Haskell before Haskell: an alternative lesson in practical logics of the ENIAC Pengarang: Liesbeth De Mol, Martin Carlé, Maarten Bullynck | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p. 1011-1046) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Logics Modulo Theories: a logical framework for multi-agent systems Pengarang: Lito Perez Cruz and John Newsome Crossley | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 553-583) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Restricted normal modal logics and levelled possible worlds semantics Pengarang: Juan C. Agudelo-Agudelo and Manuel H. Sierra-Aristizábal | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 687-704 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains Pengarang: Dmitrij Skvortsov | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 697-713 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics Pengarang: Hitoshi Kihara and Hiroakira Ono | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 823-875 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics Pengarang: Franco Montagna and Carles Noguera | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 399-424 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Logics Preserving Degrees of Truth from Varieties of Residuated Lattices Pengarang: Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, dll | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1031-1069 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Multi-modal and Temporal Logics with Universal Formula—Reduction of Admissibility to Validity and Unification Pengarang: V. Rybakov | No. Panggil: Journal of Logic and Computation August 2008, 18 (4), p. 509-519 | Koleksi: e-Article Oxford Journal  :: 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  :: Prev   2 3 4 5 6 7  Next