Handbook of practical logic and automated reasoning /
| Hlavní autor: |
Harrison, John, 1966-
(
Autor )
|
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: |
angličtina |
| Vydavatel: |
Cambridge :
Cambridge University Press,
c2009.
|
| Předmět: | |