Ditemukan 132 dokumen dengan kata kunci 4630 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Radial dependence of lineal energy distribution of 290-MeV/u carbon and 500-MeV/u iron ion beams using a wall-less tissue-equivalent proportional counter
|
Pengarang: Shuichi Tsuda, Tatsuhiko Sato, Ritsuko Watanabe, and Masashi Takada | No. Panggil: Journal of Radiation Research (Volume 23 Issue 1 January 2015, p. 197-204) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On modal μ-calculus over reflexive symmetric graphs
|
Pengarang: Giovanna D'Agostino and Giacomo Lenzi | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 445-455 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Notions of Bisimulation for Heyting-Valued Modal Languages
|
Pengarang: Pantelis E. Eleftheriou, Costas D. Koutras, and Christos Nomikos | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 213-235 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Sequent Calculi for the Modal µ-Calculus over S5
|
Pengarang: Luca Alberucci | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 971-985 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Cara Membuat Website Sendiri dengan modal 100% Gratis!
|
|
Web-based discovery and integration of archaeological historic properties inventory data: The Digital Index of North American Archaeology (DINAA)
|
Pengarang: Joshua J. Wells, Eric C. Kansa, Sarah W. Kansa, Stephen J. Yerka, dll | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 3 September 2014, p. 349-360) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Constructive Logic with Strong Negation as a Substructural Logic
|
Pengarang: Manuela Busaniche and Roberto Cignoli | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 761-793 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Restricted normal modal logics and levelled possible worlds semantics
|
Pengarang: Juan C. Agudelo-Agudelo and Manuel H. Sierra-Aristizábal | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 687-704 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
General Models and Completeness of First-Order Modal μ-calculus
|
Pengarang: Ryo Kashima and Keishi Okamoto | No. Panggil: Journal of Logic and Computation August 2008, 18 (4), p. 497-507 |
|
Koleksi: e-Article Oxford Journal ::
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 ::
|
|