| Ditemukan 56 dokumen dengan kata kunci 3587 |
Simpan CSV  |
|
Towards the Collaborative Curation of the Registry underlying identifiers.org
|
| Pengarang: Nick Juty, Nicolas Le Novčre, Henning Hermjakob, and Camille Laibe | No. Panggil: Database (Volume 2013, p.bat017) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Dynamic specification of open agent systems
|
| Pengarang: Alexander Artikis | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1301-1334 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Basic Hydraulic Systems and Components : Edtion A
|
|
|
|
Differential and integral calculus for logical operations. A matrix–vector approach
|
| Pengarang: Eduardo Mizraji | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. (613-638) |
|
|
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 ::
|
|
|
On the Logical Formalization of Possibilistic Counterparts of States over n-valued Łukasiewicz Events
|
| Pengarang: Tommaso Flaminio, Lluís Godo, and Enrico Marchioni | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 429-446 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Logical and Complexity-theoretic Aspects of Models of Computation with Restricted Access to Arrays
|
| Pengarang: Iain A. Stewart | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 217-242 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The Confidence Information Ontology: a step towards a standard for asserting confidence in annotations
|
| Pengarang: Frederic B. Bastian, Marcus C. Chibucos, Pascale Gaudet, Michelle Giglio, dll | No. Panggil: Database (Volume 2015, p. bav043) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Towards a model of UAVs navigation in urban canyon through defeasible logic
|
| Pengarang: Ho-Pun Lam and Guido Governatori | No. Panggil: Journal of Logic and Computation April 2013, 23 (2), p. 373-395 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Towards the Proof-theoretic Unification of Dung’s Argumentation Framework: an Adaptive Logic Approach
|
| Pengarang: Christian Straßer and Dunja Šešelja | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 133-156 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
