كتاب إلكتروني
From Clauses to Klauses
| العنوان: | From Clauses to Klauses |
|---|---|
| المؤلفون: | Reeves, Joseph E.Aff9, Heule, Marijn J. H.Aff9, Bryant, Randal E.Aff9 |
| المساهمون: | Goos, Gerhard, Series EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Gurfinkel, Arie, editorAff7, Ganesh, Vijay, editorAff8 |
| المصدر: | Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I. 14681:110-132 |
| قاعدة البيانات: | Springer Nature eBooks |
| ردمك: | 9783031656262 9783031656279 |
|---|---|
| DOI: | 10.1007/978-3-031-65627-9_6 |