Ditemukan 138 dokumen dengan kata kunci 4262 |
Simpan CSV |
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 ::
|
|
Foundations of model construction in feature-based semantic science
|
Pengarang: David Poole | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1081-1096 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Verifying social expectations by model checking truncated paths
|
Pengarang: Stephen Cranefield and Michael Winikoff | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1217-1256 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Parallel SAT Solving in Bounded Model Checking
|
Pengarang: Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, dll | No. Panggil: Journal of Logic and Computation February 2011, 21 (3), p. 5-21 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Model-theoretic and Computational Properties of Modal Dependence Logic
|
Pengarang: Merlijn Sevenster | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1157-1173 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
TCTL Model Checking of Time Petri Nets
|
Pengarang: Hanifa Boucheneb, Guillaume Gardey, and Olivier H. Roux | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1509-1540 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
HGV&TB: a comprehensive online resource on human genes and genetic variants associated with tuberculosis
|
Pengarang: Ruchika Sahajpal, Gaurav Kandoi, Heena Dhiman, Sweety Raj, dll | No. Panggil: Database (Volume 2014, p. bau112) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
VIRmiRNA: a comprehensive resource for experimentally validated viral miRNAs and their targets
|
Pengarang: Abid Qureshi, Nishant Thakur, Isha Monga, Anamika Thakur, dll | No. Panggil: Database (Volume 2014, p. bau103) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
MICdb3.0: a comprehensive resource of microsatellite repeats from prokaryotic genomes
|
Pengarang: Suresh B. Mudunuri, Sujan Patnana, and Hampapathalu A. Nagarajaram | No. Panggil: Database (Volume 2014, p.bau005) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Chemical annotation of small and peptide-like molecules at the Protein Data Bank
|
Pengarang: Jasmine Y. Young, Zukang Feng, Dimitris Dimitropoulos, Raul Sala, dll | No. Panggil: Database (Volume 2013, p.bat079) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|