Hasil Pencarian
Ditemukan 248 dokumen dengan kata kunci 4294 Simpan CSV Simpan CSV
PCorral—interactive mining of protein interactions from MEDLINE
Pengarang: Chen Li, Antonio Jimeno-Yepes, Miguel Arregui, Harald Kirsch, dll | No. Panggil: Database (Volume 2013, p.bat030) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Optimal decompositions of matrices with entries from residuated lattices
Pengarang: Radim Belohlavek | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1405-1425 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
From Situation Calculus to Dynamic Epistemic Logic
Pengarang: Hans Van Ditmarsch, Andreas Herzig, and Tiago De Lima | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 179-204 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
From (Quantified) Boolean Formulae to Answer Set Programming
Pengarang: Igor Stéphan, Benoit Da Mota, and Pascal Nicolas | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 565-590 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
From Chaos to Consciousness : A Brief History of the Universe
Pengarang: Corwin, Mike | No. Panggil: ebM-0099 |
Koleksi: e-Book MIPA  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Rotating Machinery Vibration : From Analysis to Troubleshooting
Pengarang: Adams, Maurice L | No. Panggil: 621.811 ADA r |
Koleksi: Buku Teks  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Simulation of the Complex System of Speech Interaction: Digital Visualizations
Pengarang: William A. Kretzschmar, Jr and Ilkka Juuso | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 3 September 2014, p. 432-442) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A system for named entity recognition based on local grammars
Pengarang: Cvetana Krstev, Ivan Obradović, Miloš Utvić, and Duško Vitas | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 473-489 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
OntoDLV: An ASP-based System for Enterprise Ontologies
Pengarang: Francesco Ricca, Lorenzo Gallucci, Roman Schindlauer, Tina Dell’Armi,dll | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 643-670 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Power System : Analysis & Design [5th Edition]
Pengarang: Glover, J. Duncan | No. Panggil: eTM-00063 |
Koleksi: e-Book TM  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   2 3 4 5 6 7 8 9 10 11  Next