0 Mėgstami
0Krepšelis
189,27 
189,27 
2025-07-31 189.2700 InStock
Nemokamas pristatymas į paštomatus per 18-22 darbo dienų užsakymams nuo 19,00 

Informacija

Autorius: Rob Nederpelt, Herman Geuvers,
Leidėjas: Cambridge University Press
Išleidimo metai: 2016
Knygos puslapių skaičius: 466
ISBN-10: 110703650X
ISBN-13: 9781107036505
Formatas: Knyga kietu viršeliu
Kalba: Anglų
Žanras: Machine learning

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Type Theory and Formal Proof“

Būtina įvertinti prekę

Goodreads reviews for „Type Theory and Formal Proof“