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
|
|
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
|
|
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 ::
|
|