18 476 703 książek w 175 językach
Jednak się nie przyda? Nic nie szkodzi! Możesz zwrócić produkty nawet do 30 dni
Bon prezentowy to zawsze dobry pomysł. Obdarowany może za bon prezentowy wybrać cokolwiek z naszej oferty.
Nawet do 30 dni na zwrot
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.
Cześć! Jestem Libroamiko, Twój doradca książkowy.
Jak mogę Ci pomóc?