Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author=PIENTKA, Brigitte
cover
Automated Deduction – CADE 29: 29th International Conference on Automated D…
Comment Share
TINELLI, CesarePIENTKA, Brigitte

Buku akses terbuka ini merupakan hasil dari Konferensi Internasional ke-29 tentang Deduksi Otomatis, Konferensi tentang Pengurangan Otomatis (CADE, Conference on Automated Deduction) 29, yang berlangsung di Roma, Italia, selama bulan Juli 2023. 28 makalah lengkap dan 5 makalah pendek yang disajikan telah ditinjau dan dipilih secara saksama dari 77 kiriman. CADE adalah forum utama untuk penyajia…

Edition
1
ISBN/ISSN
978-3-031-38499-8
Collation
1 online resource (XXV, 592 Pages)
Series Title
Lecture Notes in Computer Science
Call Number
003 PIE a