| Ditemukan 142 dokumen dengan kata kunci 4619 |
Simpan CSV  |
|
From Deep Inference to Proof Nets via Cut Elimination
|
| Pengarang: Lutz Strassburger | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 589-624 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation
|
| Pengarang: Phan Minh Thang, Phan Minh Dung, and Nguyen Duy Hung | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1071-1109 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Self-determination and State-building in International Law: The Need for a New Research Approach
|
| Pengarang: Manuela Melandri | No. Panggil: Journal of Conflict and Security Law (Volume 20 Issue 1 Spring 2015, p. 75-100) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Integrating the supply and demand sides of public support to new technology-based firms
|
| Pengarang: Anna Bergek, Charlotte Norrman | No. Panggil: Science and Public Policy (Volume 42 Issue 4 Agustus 2015, p. 514-529) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
New developments in electron microscopy for serial image acquisition of neuronal profiles
|
| Pengarang: Yoshiyuki Kubota | No. Panggil: Microscopy (Volume 64 Issue 1 February 2015, p. 27-36) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Industrial policy and the creation of new industries: evidence from Brazil’s bioethanol industry
|
| Pengarang: Santiago Mingo and Tarun Khanna | No. Panggil: Industrial and Corporate Change (Volume 15 Issue 5 October 2014, p. 1229-1260) |
|
|
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!
|
|
|
Hasil Pencarian
