Filtrera

Ämne
  • (4)
  • (4)
Format
  • (1)
  • (2)
  • (3)
Pris
  • (1)
Leveranstid
  • (2)
  • (3)

Mateja Jamnik - Böcker

Visar alla böcker av Mateja Jamnik. Handla med fri frakt och snabb leverans!

Sortering:

  1. Mathematical Reasoning with Diagrams

    av Mateja Jamnik

    Inbunden, Engelska, 2001-11-01
    829
    Köp
    Specialorder (osäker tillgång). Skickas från oss inom 11-20 vardagar.
    Mathematical Reasoning with Diagrams

    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 sem...

    Läs mer »

  2. Mathematical Reasoning with Diagrams

    av Mateja Jamnik

    Häftad, Engelska, 2001-11-01
    242
    Köp
    Skickas från oss inom 5-8 vardagar.
    Mathematical Reasoning with Diagrams

    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 ...

    Läs mer »

  3. Diagrammatic Representation and Inference

    av Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz

    Häftad, Engelska, 2016-07-26
    730
    Köp
    Skickas från oss inom 10-15 vardagar.
    Diagrammatic Representation and Inference

    This book constitutes the refereed proceedings of the 9th InternationalConference on the Theory and Application of Diagrams, Diagrams 2016,held in Philadelphia, PA, USA, in August 2016. The 12 revised full papers and 11 short papers presented toge...

    Läs mer »

  4. Diagrammatic Representation and Inference E-bok

    av Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz

    E-bok (PDF, LCP), Engelska, 2016-07-25
    916
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Diagrammatic Representation and Inference

    This book constitutes the refereed proceedings of the 9th InternationalConference on the Theory and Application of Diagrams, Diagrams 2016,held in Philadelphia, PA, USA, in August 2016.The 12 revised full papers and 11 short papers presented toget...

    Läs mer »

  5. Diagrammatic Representation and Inference

    av Ashok K Goel, Mateja Jamnik, N Hari Narayanan

    Häftad, Engelska, 2010-07-30
    563
    Köp
    Skickas från oss inom 10-15 vardagar.
    Diagrammatic Representation and Inference

    The 6th International Conference on the Theory and Application of Diagrams Diagrams 2010 was held in Portland, USA in August 2010. Diagrams is an international and interdisciplinary conference series, which continues to present the very best work ...

    Läs mer »

  6. Diagrammatic Representation and Inference E-bok

    av Ashok K Goel, Mateja Jamnik, N Hari Narayanan

    E-bok (PDF, LCP), Engelska, 2010-07-27
    749
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Diagrammatic Representation and Inference

    The 6th International Conference on the Theory and Application of Diagrams - Diagrams 2010 - was held in Portland, USA in August 2010. Diagrams is an international and interdisciplinary conference series, which continues to present the very best w...

    Läs mer »