Eintrag weiter verarbeiten
Review of introduction to mathematics of satisfiability, by Victor W. Marek
Zapisane w:
Tytuł czasopisma: | ACM SIGACT News |
---|---|
Personen und Körperschaften: | |
In: | ACM SIGACT News, 43, 2012, 3, S. 41-44 |
Format: | E-Article |
Język: | Englisch |
Wydane: |
Association for Computing Machinery (ACM)
|
Hasła przedmiotowe: |