Ditapis dengan
Ditemukan 1 dari pencarian Anda melalui kata kunci: author=Blanchette, Jasmin
Automated reasoning
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 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving…
- Edisi
- -
- ISBN/ISSN
- 9783031107696
- Deskripsi Fisik
- xv; 756 PG; ill.
- Judul Seri
- -
- No. Panggil
- 006.3 AUT a
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah