0 Mėgstami
0Krepšelis

Handbook of Practical Logic and Automated Reasoning

333,43 
333,43 
2025-07-31 333.4300 InStock
Nemokamas pristatymas į paštomatus per 18-22 darbo dienų užsakymams nuo 19,00 

Knygos aprašymas

One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.

Informacija

Autorius: John Harrison
Leidėjas: Cambridge University Press
Išleidimo metai: 2015
Knygos puslapių skaičius: 702
ISBN-10: 0521899575
ISBN-13: 9780521899574
Formatas: Knyga kietu viršeliu
Kalba: Anglų
Žanras: Philosophy

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Handbook of Practical Logic and Automated Reasoning“

Būtina įvertinti prekę

Goodreads reviews for „Handbook of Practical Logic and Automated Reasoning“