Aufsatz in einer Fachzeitschrift
Satisfiability Checking and Symbolic Computation
Details zur Publikation
Autor(inn)en: | Seiler, W. |
Publikationsjahr: | 2016 |
Zeitschrift: | ACM Communications in Computer Algebra |
Seitenbereich: | 145-147 |
Jahrgang/Band : | 50 |
ISSN: | 1932-2232 |
eISSN: | 1932-2240 |
DOI-Link der Erstveröffentlichung: |
