cover
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, …
Blanchette, JasminKovács, LauraPattinson, Dirk

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 f…

Edition
1
ISBN/ISSN
978-3-031-10769-6
Collation
xv, 756p.: Ill.
Series Title
Lecture Notes in Computer Science
Call Number
005.13 Aut

Search Result

Found 1 from your keywords: Author : Kovács, Laura
Query took 0.00066 second(s) to complete
Suggestion
image
Pengaruh Manajemen Laba dan Kualitas Laba Terhada Potensi Kebangkrutan dengan Metode Springate-Score pada Perusahaan Go Public Sektor Manufaktur Sub Sektor Industri Dasar dan Kimia yang Terdaftar di BEI
Dian Vidia Pratiwi
image
BUKU SAKU OXFORD KEDOKTERAN KLINIS
Longmore, Murray - Setia, Rudi - Muliawan, Erman - Ayuningtyas, Paramitha - Wilkinson, Ian B. - Davidson, Edward H. - Foulkes, Alexander - Mafi, Ahmad R.
image
IDENTIFIKASI SECARA MORFOLOGI PATOGEN PENYEBAB PENYAKIT LAYU PADA TANAMAN MAHONI (Swietenia mahagoni. L) DI SUMATERA SELATAN.
Pradiefta, Muhammad Rafii
image
Sejarah tentang pengaruh pelita di daerah terhadap kehidupan masyarakat pedesaan Daerah Istimewa Yogyakarta
Depdikbud Indonesia
image
APLIKASI PENJUALAN BUMBU KALDU ALESHA PADA CV. SAHABAT SEHATI PALEMBANG
Saputra, Muhammad Agustin