Dowek, Gilles (Autor)
Proofs and Algorithms
An Introduction to Logic and Computability
Beschreibung
Produktdetails
| ISBN/GTIN | 978-0-85729-121-9 |
|---|---|
| Seitenzahl | 195 S. |
| Kopierschutz | Digital Rights Management |
| Dateigröße | 1258 Kbytes |