Group
Reasearch
Studies
Publications
Service
Contact
» A to Z
Alumni
Areas
Books
Book contributions
Contact
Cooperations
Doctoral thesis
Events
Homepage
Jobs
Journals
Conferences
Legal
Links
Way
Master thesis
News
Projects
Software
Structure
Stud. projects
Teach. materials
Team
Workshops
Home « Publications « Books
» SATRIX - Algorithmen für Boolesche Erfüllbarkeit
Publisher:
Shaker Verlag
Author:
Daniel Große, Görschwin Fey, Rolf Drechsler (Hrsg.)
Format:
Gebunden
Year:
2007
Description:
back
Books
Book contributions
Journals
Conferences
Workshops
