Mateja Jamnik Forfatter

Visning: Type : Alle | Sprog : Alle | Format : Alle

• 

  PRIS

  636,- kr

  FRAGT FRA 39,-

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Bemærk: Kan ikke leveres før jul.

  Mathematical Reasoning with Diagrams (Bog, Hardback, Engelsk)

  Af: Mateja Jamnik

  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 formal proof system which allows users to prove theorems using diagrams.

  PRIS

  636,- kr

  FRAGT FRA 39,-

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Læg i kurv