Beitrag in einem Tagungsband
SC-Square: Satisfiability Checking Meets Symbolic Computation
Details zur Publikation
Autor(inn)en: | Seiler, W. |
Herausgeber: | Kohlhase, M.; et al |
Verlag: | Springer |
Verlagsort / Veröffentlichungsort: | Berlin/Heidelber |
Publikationsjahr: | 2016 |
Seitenbereich: | 28-43 |
Buchtitel: | Conference on Intelligent Computer Mathematics (CICM 2016) |
Titel der Buchreihe: | Lecture Notes in Artificial Intelligence |
Bandnr.: | 9791 |
