Eintrag weiter verarbeiten
Review of introduction to mathematics of satisfiability, by Victor W. Marek
Uloženo v:
Název časopisu: | ACM SIGACT News |
---|---|
Personen und Körperschaften: | |
In: | ACM SIGACT News, 43, 2012, 3, s. 41-44 |
Formát: | Článek |
Jazyk: | angličtina |
vydáno v: |
Association for Computing Machinery (ACM)
|
Předměty: |