Hasil Pencarian
	Ditemukan 64 dokumen dengan kata kunci 4702 Simpan CSV  Completeness and Cut-elimination in the Intuitionistic Theory of Types—Part 2 Pengarang: Olivier Hermant and James Lipton | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 597-602 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic Pengarang: Rajeev Goré and Linda Postniece | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 233-260 | 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  :: Sequent Calculi for the Modal µ-Calculus over S5 Pengarang: Luca Alberucci | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 971-985 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Model-theoretic and Computational Properties of Modal Dependence Logic Pengarang: Merlijn Sevenster | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1157-1173 | 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  :: Jaringan asynchronous transfer mode (ATM) pada general packet radio service. Pengarang: Siti Aisyah | No. Panggil: eSTI-2003007 | Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Models and visions of science–policy interaction: Remarks from a Delphi study in Italy Pengarang: Adriana Valente, Tommaso Castellani, Maja Larsen, Arja R. Aro | No. Panggil: Science and Public Policy (Volume 42 Issue 2 April 2015, p. 228-241) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: MEMOSys 2.0: an update of the bioinformatics database for genome-scale models and genomic data Pengarang: Stephan Pabinger, Rene Snajder, Timo Hardiman, Michaela Willi, dll | No. Panggil: Database (Volume 2014, p.bau004) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Opening the black box of trust: reasoning about trust models in a BDI agent Pengarang: Andrew Koster, Marco Schorlemmer, and Jordi Sabater-Mir | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 25-58 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4 5 6 7  Next