كتاب إلكتروني
Extended Resolution Simulates DRAT
| العنوان: | Extended Resolution Simulates DRAT |
|---|---|
| المؤلفون: | Kiesl, BenjaminAff16, Rebola-Pardo, AdriánAff16, Heule, Marijn J. H.Aff17 |
| المساهمون: | Hutchison, David, Series EditorAff1, Kanade, Takeo, Series EditorAff2, Kittler, Josef, Series EditorAff3, Kleinberg, Jon M., Series EditorAff4, Mattern, Friedemann, Series EditorAff5, Mitchell, John C., Series EditorAff6, Naor, Moni, Series EditorAff7, Pandu Rangan, C., Series EditorAff8, Steffen, Bernhard, Series EditorAff9, Terzopoulos, Demetri, Series EditorAff10, Tygar, Doug, Series EditorAff11, Weikum, Gerhard, Series EditorAff12, Galmiche, Didier, editorAff13, Schulz, Stephan, editorAff14, Sebastiani, Roberto, editorAff15 |
| المصدر: | Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. 10900:516-531 |
| قاعدة البيانات: | Springer Nature eBooks |
| ردمك: | 9783319942049 9783319942056 |
|---|---|
| DOI: | 10.1007/978-3-319-94205-6_34 |