Ditemukan 37 dokumen dengan kata kunci 3644 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Small and medium-sized enterprises, intellectual property, and public policy
|
Pengarang: Rashid Nikzad | No. Panggil: Science and Public Policy (Volume 42 Issue 2 April 2015, p. 176-187) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Science Media Centres and public policy
|
Pengarang: Simone Rödder | No. Panggil: Science and Public Policy (Volume 42 Issue 3 June 2015, p. 387-400) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Preservation by fibring of the finite model property
|
Pengarang: M. E. Coniglio, A. Sernadas, and C. Sernadas | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 375-402 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Property-based Slicing for Agent Verification
|
Pengarang: Rafael H. Bordini, Michael Fisher, Michael Wooldridge, and Willem Visser | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1385-1425 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Public communication in justification logic
|
Pengarang: Bryan Renne | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1005-1034 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Tableaux for Public Announcement Logic
|
Pengarang: Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, and Tiago de Lima | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 55-76 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Model-theory and implementation of property grammars with features
|
Pengarang: Denys Duchier, Thi-Bich-Hanh Dao, and Yannick Parmentier | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 491-509 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Industry and firm effects on IT diffusion processes: firm-level evidence in Italian enterprises
|
Pengarang: Paolo Neirotti and Emilio Paolucci | No. Panggil: Industrial and Corporate Change (Volume 23 Issue 3 June 2014, p. 717-757) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A small model theorem for the hybrid μ-calculus
|
Pengarang: Kuniaki Tamura | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. (405-441) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Small molecule annotation for the Protein Data Bank
|
Pengarang: Sanchayita Sen, Jasmine Young, John M. Berrisford, Minyu Chen, dll | No. Panggil: Database (Volume 2014, p. bau116) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|