Hasil Pencarian
	Ditemukan 19 dokumen dengan kata kunci 3838 Simpan CSV  Assessing the inter-method reliability and correlational validity of the Body Type Dictionary Pengarang: Laura A. Cariola | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 2 June 2014, p. 171-190) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Reliability Engineering Theory and Practice Pengarang: Prof. Dr. Alessandro Birolini | No. Panggil: 620.004 BIR r | Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Multi-modal and Temporal Logics with Universal Formula—Reduction of Admissibility to Validity and Unification Pengarang: V. Rybakov | No. Panggil: Journal of Logic and Computation August 2008, 18 (4), p. 509-519 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Algorithmic solution of higher type equations Pengarang: Martín Escardó | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 839-854 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: BBGRE: brain and body genetic resource exchange Pengarang: Joo Wook Ahn, Abhishek Dixit, Caroline Johnston, Caroline M. Ogilvie, dll | No. Panggil: Database (Volume 2013, p.bat067) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Pemanfaatan Komposit Serat Karbon Dengan Matriks Epoksi Sebagai Material Body Protector Pengarang: Zainul Ilyas | No. Panggil: eSTM-2021012 | Koleksi: e-Skripsi Teknik Mesin  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Blending margins: the modal logic K has nullary unification type Pengarang: Emil Jeřábek | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 5 Oktober 2015, p.1231-1240) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Explicit substitution calculi with de Bruijn indices and intersection type systems Pengarang: Daniel Lima Ventura, Fairouz Kamareddine, and Mauricio Ayala-Rincón | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 295-340) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations Pengarang: Paul E. Oppenheimer and Edward N. Zalta | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 351-374 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Survival outcomes after stereotactic body radiotherapy for 79 Japanese patients with hepatocellular carcinoma Pengarang: Hideomi Yamashita, Hiroshi Onishi, Naoya Murakami, Yasuo Matsumoto, dll | No. Panggil: Journal of Radiation Research (Volume 23 Issue 3 May 2015, p. 561-567) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2  Next