Přesně tuhle si přidáte do košíku
Parametry
Kategorie
Nákup knihy
Symbolic Logic and Mechanical Theorem Proving, Chin-Liang Chang, Richard CharTung Lee
- Mechanické poškození
- Vyřazeno z knihovny
- Jazyk
- Rok vydání
- ,
- Stav knihy
- Poškozená
- Cena
- 168 Kč
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Symbolic Logic and Mechanical Theorem Proving
- Podtitul
- Computer Science and Applied Mathematics
- Jazyk
- anglicky
- Vydavatel
- Academic Press
- Vazba
- pevná
- ISBN10
- 0121703509
- ISBN13
- 9780121703509
- Kategorie
- Matematika