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



Autor(inn)en / Herausgeber(innen)

Zuletzt aktualisiert 2019-01-11 um 16:04