Ucebnice.cz Odborná • naučnáPřírodní vědyMatematika
Termín obdržení zásilky
Česká pošta Čtvrtek 17.04
PPL Čtvrtek 17.04
Osobní odběr Pátek 18.04
Termíny jsou pouze orientační a mohou se lišit podle zvoleného typu platby. O Průběhu zásilky Vás budeme informovat e-mailem.
Při nákupu většího množství produktů negarantujeme dodání do zobrazeného data

Automated Theorem Proving

Automated Theorem Proving

4816  Kč

Odesíláme do 5 až 7 dní

Sleva až 70% u třetiny knih
Nakladatel: American Mathematical Society
ISBN: 9780821850275
Rok vydání: 1984
Jazyk : Angličtina
Vazba: Paperback / softback
Mohlo by se vám také líbit..