Ditemukan 176 dokumen dengan kata kunci 3593 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Admissible Rules of Łukasiewicz Logic
|
Pengarang: Emil Jeřábek | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 425-447 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Model Checking Using Description Logic
|
Pengarang: Shoham Ben-David, Richard Trefler, and Grant Weddell | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 111-1131 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Tableaux and Resource Graphs for Separation Logic
|
Pengarang: Didier Galmiche and Daniel Méry | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 189-231 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Labelled Tableaux for Distributed Temporal Logic
|
Pengarang: David Basin, Carlos Caleiro, Jaime Ramos, and Luca Viganň | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1245-1279 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A Complete Deductive System for Probability Logic
|
Pengarang: Chunlai Zhou | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1427-1454 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Modal Operators over Constructive Logic
|
Pengarang: Evgeny Yu. Sherkhonov | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 815-829 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On Dynamic Topological Logic of the Real Line
|
Pengarang: Maria Nogin and Aleksey Nogin | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 1029-1045 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Models and visions of science–policy interaction: Remarks from a Delphi study in Italy
|
Pengarang: Adriana Valente, Tommaso Castellani, Maja Larsen, Arja R. Aro | No. Panggil: Science and Public Policy (Volume 42 Issue 2 April 2015, p. 228-241) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Toward an assessment of impacts from US technology and innovation policies
|
Pengarang: Barry Bozeman, Albert N. Link | No. Panggil: Science and Public Policy (Volume 42 Issue 3 June 2015, p. 369-376) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Heterogeneous effects of financial constraints on innovation: Evidence from Chile
|
Pengarang: Roberto Álvarez, Gustavo A. Crespi | No. Panggil: Science and Public Policy (Volume 42 Issue 5 October 2015, p. 711-724) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|