Hasil Pencarian
	Ditemukan 101 dokumen dengan kata kunci 4526 Simpan CSV  Category-based Equational Reasoning: An Approach to Ontology Integration Pengarang: Joe Geldart and William Song | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 791-806 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A Translation-based Approach to the Verification of Modular Equivalence Pengarang: Emilia Oikarinen and Tomi Janhunen | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 591-613 | 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  :: problems for Algebra-Based College Physics I & II Pengarang: Zurcher, Ulrich | No. Panggil: ebM-0057 | Koleksi: e-Book MIPA  :: Cari yang mirip  :: Tambahkan ke Favorit  :: A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions Pengarang: Gemma Robles and José M. Méndez | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 174-193) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Digitalisasi objek dan daya tarik wisata indonesia berbasis augmented reality melalui mobile computing Pengarang: Ahamad Fajar | No. Panggil: eSTI-2015032 | Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Optimalisasi Distribusi Informasi Objek Dan Daya Tarik Wisata Indonesia Berbasis Augmented Reality Melalui Mobile Computing Pengarang: Ahmad Fajar | No. Panggil: eSTI-2015006 | Koleksi: e-Skripsi Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Diagnosing a solar volumetric receiver combining NN-based modelling with online parameter identification and rule-based techniques Pengarang: Ramon Ferreiro Garcia, Jose Luis Calvo-Rolle, and Francisco Javier Perez Castelo | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 379-399) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Implementasi cloud computing berbasis open source menggunakan sistem operasi proxmox VE (Virtual Environment) 1.8 di pusat pengembangan informatika nuklir - BATAN Pengarang: Idul Adha | No. Panggil: PI.0121 | Koleksi: Laporan PKL Teknik Informatika  :: Cari yang mirip  :: Tambahkan ke Favorit  :: AtmiRNET: a web-based resource for reconstructing regulatory networks of Arabidopsis microRNAs Pengarang: Chia-Hung Chien, Yi-Fan Chiang-Hsieh, Yi-An Chen, Chi-Nga Chow, dll | No. Panggil: Database (Volume 2015, p. bav042) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2 3 4 5 6 7 8 9 10  Next