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)
Kovakantinen kirja

72,40 €

MATHEMATICAL REASONING WITH DIAGRAMS

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

31,80 €

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)
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; Mateja Jamnik; N Hari Narayanan
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja

49,60 €

Mathematical Reasoning with Diagrams

Mateja Jamnik

72,40 €

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