Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Mathematical Reasoning with Diagrams
Engelsk Hardback
Se mere i:

Mathematical Reasoning with Diagrams

Engelsk Hardback

624 kr
Tilføj til kurv
Sikker betaling
23 - 25 hverdage

Om denne bog
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.
Product detaljer
Sprog:
Engelsk
Sider:
200
ISBN-13:
9781575863238
Indbinding:
Hardback
Udgave:
ISBN-10:
1575863235
Udg. Dato:
1 nov 2001
Længde:
2mm
Bredde:
15mm
Højde:
23mm
Forlag:
Centre for the Study of Language & Information
Oplagsdato:
1 nov 2001
Forfatter(e):
Finder produkter...
Kategori sammenhænge