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

1830  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..