Eintrag weiter verarbeiten
Review of introduction to mathematics of satisfiability, by Victor W. Marek
Gespeichert in:
Zeitschriftentitel: | ACM SIGACT News |
---|---|
Personen und Körperschaften: | |
In: | ACM SIGACT News, 43, 2012, 3, S. 41-44 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Association for Computing Machinery (ACM)
|
Schlagwörter: |