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 : "Platzer, André"
Query took 0.00139 second(s) to complete
Suggestion
image
PENGEMBANGAN BAHAN AJAR NILAI MORAL PADA KELAS III TEMA 4 DI SEKOLAH DASAR NEGERI 107 PALEMBANG
Ambarwati, Astuti
image
25th RETROSPEKSI BALAI ARKEOLOGI SUMATERA SELATAN
Utomo, Bambang Budi - Soeroso MP, Soeroso MP - Fauzi,Mohamad Ruly - Prasetyo, Sigit Eko - Patriana, Dewi - Budisantosa, Tri Marhaeni S.
image
FRAKSI P DAN PERTUMBUHAN JAGUNG MANIS (Zea mays saccharata Sturt.) PADA TANAH ASAL LAHAN RAWA PASANG SURUT YANG DIBERI KAPUR, BAHAN ORGANIK BPF DAN KOMBINASINYA
Afriansari, Winda
image
ASUHAN KEPERAWATAN PADA PASIEN CKD DAN PEMBERIAN KOMBINASI AROMATERAPI LAVENDER DENGAN MUROTTAL SURAH AR-RAHMAN PADA MASALAH KEPERAWATAN NYERI KRONIS DI RUANG RAWAS 2.2 RSUP DR. MOHAMMAD HOESIN PALEMBANG
Pertiwi, Desi Rahmah
image
Amien Rais sang Demokrat.
Muhammad Najib - Kuat Sukardiyono