Ditemukan 80 dokumen dengan kata kunci 4450 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Herbrand's Theorem, Skolemization and Proof Systems for First-Order Łukasiewicz Logic
|
Pengarang: Matthias Baaz and George Metcalfe | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 35-54 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Proceedings 2011 International Conference on Advanced Computer Science and Information Systems
|
|
Proceedings : ICACSIS International Coonference Om Advanced Computer Science and Information Systems
|
|
JBioWH: an open-source Java framework for bioinformatics data integration
|
Pengarang: Roberto Vera, Yasset Perez-Riverol, Sonia Perez, Balázs Ligeti, | No. Panggil: Database (Volume 2013)
Database (Volume 2014)
Database (Volume 2015)
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
JBioWH: an open-source Java framework for bioinformatics data integration
|
Pengarang: Roberto Vera, Yasset Perez-Riverol, Sonia Perez, Balázs Ligeti, dll | No. Panggil: Database (Volume 2013, p.bat051) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Ontology merging as social choice: judgment aggregation under the open world assumption
|
Pengarang: Daniele Porello and Ulle Endriss | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p1229-49) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Perancangan Mail Server Zimbra Menggunakan Versi 8.0 Berbasis Open Source
|
|
Oracle Manufacturing APIs and Open Interfaces Manual Volume 1
|
|
Perancangan sistem cloud computing berbasis open source software di BMKG ciputat
|
|
Implementasi voip dan vidio conference berbasis open source pada fakultas teknik UHAMKA
|
|