Hasil Pencarian
	Ditemukan 56 dokumen dengan kata kunci 3587 Simpan CSV  Towards a uniform presentation of logical systems by indexed categories and adjoint situations Pengarang: U. Wolter, A. Martini, and E. H. Häusler | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 57-93) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A logical basis for constructive systems Pengarang: Giorgi Japaridze | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 605-642 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Logics Modulo Theories: a logical framework for multi-agent systems Pengarang: Lito Perez Cruz and John Newsome Crossley | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 553-583) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Uniform Kurtz randomness Pengarang: Takayuki Kihara and Kenshi Miyabe | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 863-882 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: The Univalence Axiom in posetal model categories Pengarang: Misha Gavrilovich,Assaf Hasson,Itay Kaplan | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 669-682) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Presentation of Set Functors: A Coalgebraic Perspective Pengarang: J. Adámek, H. P. Gumm, and V. Trnkova | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 991-1015 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: 12 Ways to ruin your presentation Pengarang: Strutz, Rudolf | No. Panggil: ebIS-0330 | Koleksi: e-Book Sosial dan Humaniora  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Towards a Definition of an Algorithm Pengarang: Noson S. Yanofsky | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p.253-286 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Towards Excellence...How To Study Pengarang: Dr. M. Thirumaleshwer | No. Panggil: ebIS-0306 | Koleksi: e-Book Sosial dan Humaniora  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Smart Presentation With Microsoft Power Point 2007 Pengarang: Suherman | No. Panggil: ebTI - 00233 | Koleksi: e-Book TI  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4 5 6  Next