Kód: 43264491
An Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms
Autor Bortin, Maksym
- Vazba: Brožovaná
- ISBN-13: 9783832525026
Nakladatelství: Logos Verlag Berlin, 2010
- Více informací o knize
1966 Kč
Skladem u dodavatele v malém množství
Odesíláme za 10-14 dnů
Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.
Přidat mezi přání
Mohlo by se vám také líbit
-
Small Favor
244 Kč -
The Little Cafe in Copenhagen
276 Kč -
Engineering Analysis with SOLIDWORKS Simulation 2018
2424 Kč -
French Painting: Franzosische Malerei, Pintura Francesa 1830 --1920
498 Kč -
Nová fyzika v kostce pro střední školy
183 Kč -
Dirty Poetry From Mind of Ivan L. Moody
765 Kč -
Sonic the Hedgehog: Art Book
495 Kč
Dárkový poukaz: Radost zaručena
- Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
- Poukaz se vztahuje na celou naši nabídku.
- Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
- Platnost poukazu je 12 měsíců od data vystavení.
Více informací o knize An Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms
Nákupem získáte 197 bodů
Parametry knihy
1966 Kč
- Plný název: An Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms
- Autor: Bortin, Maksym
- Vazba: Brožovaná
- EAN: 9783832525026
- ID: 43264491
- Nakladatelství: Logos Verlag Berlin
- Hmotnost: 775 g
- Rok vydání: 2010
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 12903 dalších
Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Balíkovna za 49 Kč
Vrácení do měsíce
571 999 099 (8-15.30h)