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.00073 second(s) to complete
Suggestion
image
PENYELESAIAN SENGKATA TERHADAP PEMAKAIAN MEREK YANG DIGUNAKAN SEBAGAI DOMAIN NAME SECARA TIDAK BERHAK DITINJAU DARI UU NO 11 TAHUN 2008 TENTANG INFORMASI DAN TRANSAKSI ELEKTRONIK
Rizkiyani, Amalia
image
Fisika Jilid 2.
DavidHalliday
image
ENGARUH CURRENT RATIO, DEBT TO EQUITY RATIO, DAN RETURN ON ASSET TERHADAP HARGA SAHAM PADA PERUSAHAAN SEKTOR INDUSTRI BARANG KONSUMSI YANG TERDAFTAR DI BURSA EFEK INDONESIA
Saidina, Jasum Muhammad Ali
image
Non-Linear Feedback Neural Networks: VLSI Implementations and Applications
Ansari, Mohd. Samar
image
PENGARUH DIABETES SELF MANAGEMENT EDUCATION (DSME) MELALUI MEDIA KALENDER SEHAT TERHADAP PENGETAHUAN PADA PENDERITA DIABETES MELITUS
Maharani, Herlin