Mateja Jamnik | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 4 tuotetta
Haluatko tarkentaa hakukriteerejä?

MATHEMATICAL REASONING WITH DIAGRAMS

Mateja Jamnik
Centre for the Study of Language & Information (2001)
Saatavuus: Painos loppu
Kovakantinen kirja

71,80 €

MATHEMATICAL REASONING WITH DIAGRAMS

Mateja Jamnik
Centre for the Study of Language & Information (2001)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

31,60 €

DIAGRAMMATIC REPRESENTATION AND INFERENCE - 9TH INTERNATIONAL CONFERENCE, DIAGRAMS 2016, PHILADELPHIA, PA, USA, AUGUST 7-10, 201

Mateja Jamnik; Yuri Uesaka; Stephanie Elzer Schwartz
Springer International Publishing AG (2016)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

64,10 €

DIAGRAMMATIC REPRESENTATION AND INFERENCE : 6TH INTERNATIONAL CONFERENCE, DIAGRAMS 2010, PORTLAND, OR, USA, AUGUST 9-11, 2010, P

Ashok K Goel (ed.); Mateja Jamnik (ed.); N Hari Narayanan (ed.)
Springer (2010)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

Mathematical Reasoning with Diagrams

Mateja Jamnik

71,80 €

Centre for the Study of Language & Information
Sivumäärä: 200 sivua
Asu: Kovakantinen 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.

LISÄÄ OSTOSKORIIN

Tuote on tilapäisesti loppunut ja sen saatavuus on epävarma. Seuraa saatavuutta.

Myymäläsaatavuus