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

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