Hasil Pencarian
	Ditemukan 52 dokumen dengan kata kunci 3610 Simpan CSV  The expressivity of update logics Pengarang: Louwe B. Kuijer | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 719-742) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Exemplaric Expressivity of Modal Logics Pengarang: Bart Jacobs and Ana Sokolova | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1041-1068 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: TIARA genome database: update 2013 Pengarang: Dongwan Hong, Jongkeun Lee, Thomas Bleazard, HyunChul Jung, dll | No. Panggil: Database (Volume 2013, p.bat003) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: DCDB 2.0: a major update of the drug combination database Pengarang: Yanbin Liu, Qiang Wei, Guisheng Yu, Wanxia Gai, dll | No. Panggil: Database (Volume 2014, p.bau124) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Plant rDNA database: update and new features Pengarang: Sònia Garcia, Francisco Gálvez, Airy Gras, Aleš Kovařík, dll | No. Panggil: Database (Volume 2014, p.bau063) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: UCbase 2.0: ultraconserved sequences database (2014 update) Pengarang: Vincenzo Lomonaco, Riccardo Martoglia, Federica Mandreoli, Laura Anderlucci, dll | No. Panggil: Database (Volume 2014, p.bau062) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: On Instance-level Update and Erasure in Description Logic Ontologies Pengarang: Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, and Riccardo Rosati | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 745-770 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Dasar Logika Pemrograman Komputer (Update Version) Pengarang: ABDUL KADIR | No. Panggil: 005.15 ABD d | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Reduction of provability logics to Σ1-provability logics Pengarang: Mohammad Ardeshir and S. Mojtaba Mojtahedi | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 842-847) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Initial semantics in logics with constructors Pengarang: Daniel Găină and Kokichi Futatsugi | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 95-116) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4 5 6  Next