Hasil Pencarian
Ditemukan 82 dokumen dengan kata kunci 4290 Simpan CSV Simpan CSV
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  ::
Structuring osteosarcoma knowledge: an osteosarcoma-gene association database based on literature mining and manual annotation
Pengarang: Kathrin Poos, Jan Smida, Michaela Nathrath, Doris Maugg, dll | No. Panggil: Database (Volume 2014, p.bau042) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A CTD–Pfizer collaboration: manual curation of 88 000 scientific articles text mined for drug–disease and drug–phenotype interactions
Pengarang: Allan Peter Davis, Thomas C. Wiegers, Phoebe M. Roberts, Benjamin L. King, dll | No. Panggil: Database (Volume 2013, p. bat080) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Kerusakan Dan Penanganan Transmisi Manual Pada Mobil Suzuki SL 413/Futura 1500 CC 1994
Pengarang: Ahmad Aosi | No. Panggil: eSTM-2005008 |
Koleksi: e-Skripsi Teknik Mesin  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Preference-based argumentation built from prioritized logic programming
Pengarang: Toshiko Wakaki | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. 251-301) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
From mathematical logic to programming-language semantics: a discussion with Tony Hoare
Pengarang: Edgar G. Daylight | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p. 1091-1110) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Models and visions of science–policy interaction: Remarks from a Delphi study in Italy
Pengarang: Adriana Valente, Tommaso Castellani, Maja Larsen, Arja R. Aro | No. Panggil: Science and Public Policy (Volume 42 Issue 2 April 2015, p. 228-241) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3 4 5 6 7 8 9  Next