Ditemukan 48 dokumen dengan kata kunci 3910 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Higher-level responsiveness? Socio-technical integration within US and UK nanotechnology research priority setting
|
Pengarang: E. Fisher and G. Maricle | No. Panggil: Science and Public Policy (Volume 42 Issue 1 February 2015, p. 72-85) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Wind Energy Explained : theory, Design and Application
|
|
Perancangan sistem informasi sekolah berbasis mobile application
|
|
A semantic proof of strong cut-admissibility for first-order Gödel logic
|
Pengarang: Ori Lahav and Arnon Avron | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 59-86 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On the existence of a modal-logical basis for monadic second-order logic
|
Pengarang: Lauri Hella and Tero Tulenheimo | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 157-180 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Horn versus full first-order: Complexity dichotomies in algebraic constraint satisfaction
|
Pengarang: Manuel Bodirsky, Peter Jonsson, and Timo von Oertzen | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 643-660 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics
|
Pengarang: Franco Montagna and Carles Noguera | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 399-424 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Herbrand's Theorem, Skolemization and Proof Systems for First-Order Łukasiewicz Logic
|
Pengarang: Matthias Baaz and George Metcalfe | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 35-54 |
|
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 ::
|
|
Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures
|
Pengarang: Giuliano Grossi, Massimo Marchi, Enrico Pontelli, and Alessandro Provetti | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 697-715 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|