Kód: 06352717
Mathematicians at every level use diagrams to prove theorems. This book investigates the possibilities of mechanizing this sort of reasoning in a formal computer-proof system, and offers a semi-automatic proof system which allows ... celý popis
849 Kč
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.
Nákupem získáte 85 bodů
Mathematicians at every level use diagrams to prove theorems. This book investigates the possibilities of mechanizing this sort of reasoning in a formal computer-proof system, and offers a semi-automatic proof system which allows users to prove theorems using diagrams.
Zařazení knihy Knihy v angličtině Mathematics & science Mathematics
849 Kč
Osobní odběr Praha, Brno a 12903 dalších
Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Nákupní košík ( prázdný )