Hasil Pencarian
	Ditemukan 8 dokumen dengan kata kunci 4690 Simpan CSV  Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification Pengarang: Luís Cruz-Filipe, João Rasga, Amílcar Sernadas, and Cristina Sernadas | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 885-911 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: An axiomatization of ECTL Pengarang: Ryo Kashima | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.117-133 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A Nominal Axiomatization of the Lambda Calculus Pengarang: Murdoch J. Gabbay and Aad Mathijssen | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 501-531 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A Complete Deductive System for Probability Logic Pengarang: Chunlai Zhou | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1427-1454 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Solving a PSPACE-complete problem by gene assembly Pengarang: Thomas Zerjatke and Monika Sturm | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 897-908 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Martial Arts - Complete Book Of Jiu-Jitsu Pengarang: Gambordella, Ted | No. Panggil: ebSK-0029 | Koleksi: e-Book Seni dan Kreatifitas  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Almost structurally complete infinitary consequence operations extending S4.3 Pengarang: Wojciech Dzik and Piotr Wojtylak | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 640-661) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: BactPepDB: a database of predicted peptides from a exhaustive survey of complete prokaryote genomes Pengarang: Julien Rey, Patrick Deschavanne, and Pierre Tuffery | No. Panggil: Database (Volume 2014, p. bau106) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::