Ditemukan 7 dokumen dengan kata kunci 4699 |
Simpan CSV  |
An Axiomatic Characterization of Ensconcement-Based Contraction
|
Pengarang: Eduardo Fermé, Martín Krevneris, and Maurício Reis | No. Panggil: Journal of Logic and Computation October 2008, 18 (5), p. 739-753 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
An Axiomatic System Suggested by Quantum Computation
|
Pengarang: C. Bertini and R. Leporini | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1175-1198 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Complexity Issues in Axiomatic Extensions of Łukasiewicz Logic
|
Pengarang: Petr Cintula and Petr Hájek | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 245-260 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Characterization of an orthovoltage biological irradiator used for radiobiological research
|
Pengarang: Rezvan Azimi, Parham Alaei, Emiliano Spezi, and Susanta K. Hui | No. Panggil: Journal of Radiation Research (Volume 23 Issue 3 May 2015, p. 485-492) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Identification and prioritization of novel uncharacterized peptidases for biochemical characterization
|
|
Model-theoretic characterization of intuitionistic predicate formulas
|
Pengarang: Grigory K. Olkhovikov | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 809-829 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Characterization of complex phase steel using backscattered electron images with controlled collection angles
|
Pengarang: Kaoru Sato, Hitoshi Sueyoshi, and Katsumi Yamada | No. Panggil: Microscopy (Volume 64 Issue 5 Oktober 2015, p. 297-304) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|