Hasil Pencarian
	Ditemukan 132 dokumen dengan kata kunci 4630 Simpan CSV  Relation-changing modal operators Pengarang: Carlos Areces, Raul Fervari, and Guillaume Hoffmann | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 601-627) | 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  :: 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  :: A general concept for consistent documentation of computational analyses Pengarang: Peter Ebert, Fabian Müller, Karl Nordström, Thomas Lengauer, and Marcel H. Schulz | No. Panggil: Database (Volume 2015, p. bav050) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: SInCRe—structural interactome computational resource for Mycobacterium tuberculosis Pengarang: Rahul Metri, Sridhar Hariharaputran, Gayatri Ramakrishnan, Praveen Anand, dll | No. Panggil: Database (Volume 2015, p. bav060) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Exploring the Computational Content of the Infinite Pigeonhole Principle Pengarang: Diana Ratiu and Trifon Trifonov | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 329-350 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Partial semantics of argumentation: basic properties and empirical Pengarang: Beishui Liao and Huaxin Huang | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 541-562 | 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  :: Narrative similarity as common summary: Evaluation of behavioral and computational aspects Pengarang: Elektra Kypridemou and Loizos Michael | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 4 Desember 2014, p. 532-560) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4 5 6 7 8 9 10  Next