Mechanizing Mathematical Reasoning

číslo produktu:112817

rezervuj

Mechanizing Mathematical Reasoning

Hutter

Rok vydania: 2005

Vydavateľ: Springer

Kniha je momentálne nedostupná.

V prípade dlhodobého záujmu si urobte REZERVÁCIU a my vám odložíme žiadaný kus.

Podrobnosti o titule (výrobné údaje):

Vydavateľstvo: Springer

Rok vydania: 2005

ISBN: 978-3-540-25051-7

(9783540250517)

Väzba: mäkká