SULJE VALIKKO

avaa valikko

Mathematical Reasoning with Diagrams
31,90 €
Centre for the Study of Language & Information
Sivumäärä: 200 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2001, 01.11.2001 (lisätietoa)
Kieli: Englanti
Mathematicians at every level use diagrams to prove theorems. Mathematical Reasoning with Diagrams investigates the possibilities of mechanizing this sort of diagrammatic reasoning in a formal computer proof system, even offering a semi-automatic formal proof system—called Diamond—which allows users to prove arithmetical theorems using diagrams.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Mathematical Reasoning with Diagrams
Näytä kaikki tuotetiedot
ISBN:
9781575863245
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste