Ditemukan 157 dokumen dengan kata kunci 4566 |
Simpan CSV ![Simpan CSV](icons/save.png) |
A Database Approach to Distributed State-Space Generation
|
Pengarang: Stefan Blom, Bert Lisser, Jaco Van De Pol, and Michael Weber | No. Panggil: Journal of Logic and Computation February 2011, 21 (3), p. 45-62 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
PIPEMicroDB: microsatellite database and primer generation tool for pigeonpea genome
|
Pengarang: Sarika, Vasu Arora, M. A. Iquebal, Anil Rai, dll | No. Panggil: Database (Volume 2013, p.bas054) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Inconsistencies in the red blood cell membrane proteome analysis: generation of a database for research and diagnostic applications
|
Pengarang: Tamás Hegedűs, Pururawa Mayank Chaubey, György Várady, Edit Szabó, | No. Panggil: Database (Volume 2015, p. bav056) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Distributed Algorithms for SCC Decomposition
|
Pengarang: Jiří Barnat, Jakub Chaloupka, and Jaco Van De Pol | No. Panggil: Journal of Logic and Computation February 2011, 21 (3), p. 23-44 |
|
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 ::
|
|
Speculative Image Computation for Distributed Symbolic Reachability Analysis
|
Pengarang: Ming-Ying Chung and Gianfranco Ciardo | No. Panggil: Journal of Logic and Computation February 2011, 21 (3), p. 63-83 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Cognitive models of discourse comprehension for narrative generation
|
Pengarang: James Niehaus and R. Michael Young | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 4 Desember 2014, p. 561-582) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A General Approach to Aggregation Problems
|
Pengarang: Tijmen R. Daniëls and Eric Pacuit | No. Panggil: Journal of Logic and Computation June 2009, 19 (3), p. 517-536 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Generation of peanut mutants by fast neutron irradiation combined with in vitro culture
|
Pengarang: Jing-Shan Wang, Jiong-Ming Sui, Yong-Dun Xie, Hui-Jun Guo, dll | No. Panggil: Journal of Radiation Research (Volume 23 Issue 3 May 2015, p. 437-445) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Trilattice logic: an embedding-based approach
|
Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. (581-611) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|