Hasil Pencarian
	Ditemukan 121 dokumen dengan kata kunci 4530 Simpan CSV  Labelled Tableaux for Distributed Temporal Logic Pengarang: David Basin, Carlos Caleiro, Jaime Ramos, and Luca Vigaṇ | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1245-1279 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A Complete Deductive System for Probability Logic Pengarang: Chunlai Zhou | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1427-1454 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Modal Operators over Constructive Logic Pengarang: Evgeny Yu. Sherkhonov | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 815-829 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: On Dynamic Topological Logic of the Real Line Pengarang: Maria Nogin and Aleksey Nogin | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 1029-1045 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Digitalisasi objek dan daya tarik wisata indonesia berbasis augmented reality melalui mobile computing Pengarang: Ahamad Fajar | No. Panggil: eSTI-2015032 | Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Optimalisasi Distribusi Informasi Objek Dan Daya Tarik Wisata Indonesia Berbasis Augmented Reality Melalui Mobile Computing Pengarang: Ahmad Fajar | No. Panggil: eSTI-2015006 | Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Implementasi cloud computing berbasis open source menggunakan sistem operasi proxmox VE (Virtual Environment) 1.8 di pusat pengembangan informatika nuklir - BATAN Pengarang: Idul Adha | No. Panggil: PI.0121 | Koleksi: Laporan PKL Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: First steps towards probabilistic justification logic Pengarang: Ioannis Kokkinis, Petar Maksimović, Zoran Ognjanović, and Thomas Studer | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 662-687) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Base-extension semantics for intuitionistic sentential logic Pengarang: Tor Sandqvist | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 719-731) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Alternating-time temporal dynamic epistemic logic Pengarang: Tiago de Lima | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p1145-1178) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   2 3 4 5 6 7 8 9 10 11  Next