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-2240



Autor(inn)en / Herausgeber(innen)

Zuletzt aktualisiert 2019-01-11 um 16:04