cover
Automated Deduction – CADE 28: 28th International Conference on Automated D…
Platzer, AndréSutcliffe, Geoff

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions pre…

Edition
1
ISBN/ISSN
978-3-030-79876-5
Collation
xiv, 650p.: Ill.
Series Title
-
Call Number
511.360 Aut

Search Result

Found 1 from your keywords: Author : "Sutcliffe, Geoff"
Query took 0.00071 second(s) to complete
Suggestion
image
Penerapan data mining untuk menganalisa tingkat kelulusan mahasiswa menggunakan metode algoritma c4.5 pada fakultas ilmu komputer universitas sriwijaya
VERA WULAN DARY
image
PREPARASI MATERIAL Β-PBO2 DIAPLIKASIKAN PADA SINTESIS LIMONENE DARI KARET ALAM MENGGUNAKAN METODE PIROLISIS VAKUM
Selpiana, Selpiana
image
Complex Systems: Innovation and Sustainability in the Digital Age
Bogoviz, Aleksei V.
image
PENGARUH LATIHAN ANGKAT DUMBELL TERHADAP PENINGKATAN KEMAMPUAN TOLAK PELURU GAYA ORTHODOX PADA SISWA PUTRA KELAS XI SMAN 1 UNGGULAN INDRALAYA UTARA
Sumantri, Ekmar
image
HIMPUNAN PIDATO MENTERI SOSIAL R.I. NANI SOEDARSONO, S.H.: Buku XXXII (Januari s/d 9 Pebruari 1988)
Departemen Sosial Republik Indonesia