Ucebnice.cz Odborná • naučnáPřírodní vědyMatematika
Termín obdržení zásilky
Česká pošta Úterý 21.04
PPL Úterý 21.04
Osobní odběr Středa 22.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

1828  Kč

Odesíláme do 3 až 5 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..