Hasil Pencarian
	Ditemukan 129 dokumen dengan kata kunci 4687 Simpan CSV  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  :: RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice Pengarang: Andrej Bauer and Christopher A. Stone | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 17-43 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: On guarded transformation in the modal μ-calculus Pengarang: Florian Bruse, Oliver Friedmann, and Martin Lange | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 194-216) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Jutawan Modal Online dengan Google AdSense Pengarang: Archer.corp | No. Panggil: ebIS-0324 | Koleksi: e-Book Sosial dan Humaniora  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Deduction Systems for Coalgebras Over Measurable Spaces Pengarang: Robert Goldblatt | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1069-1100 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Tableaux for Logics of Subinterval Structures over Dense Orderings Pengarang: Davide Bresolin, Valentin Goranko, Angelo Montanari, and Pietro Sala | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 133-166 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Notions of Bisimulation for Heyting-Valued Modal Languages Pengarang: Pantelis E. Eleftheriou, Costas D. Koutras, and Christos Nomikos | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 213-235 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Cara Membuat Website Sendiri dengan modal 100% Gratis! No. Panggil: ebTI - 00261 | Koleksi: e-Book TI  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Software implementation of cryptographic sequence generators over extended fields Pengarang: O. Delgado-Mohatar and A. Fúster-Sabater | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 1 February 2015, p. 73-87) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Elementarily equivalent structures for topological languages over regions in Euclidean space Pengarang: Ernest Davis | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 457-471 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4 5 6 7 8 9 10  Next