كتاب إلكتروني
DRAT Proofs for XOR Reasoning
| العنوان: | DRAT Proofs for XOR Reasoning |
|---|---|
| المؤلفون: | Philipp, TobiasAff15, Rebola-Pardo, AdriánAff16 |
| المساهمون: | 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, Michael, Loizos, editorAff13, Kakas, Antonis, editorAff14 |
| المصدر: | Logics in Artificial Intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings. 10021:415-429 |
| قاعدة البيانات: | Springer Nature eBooks |
Full Text Finder | ردمك: | 9783319487571 9783319487588 |
|---|---|
| DOI: | 10.1007/978-3-319-48758-8_27 |