Filtrera

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

Mateja Jamnik - Böcker

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

Sortering:
  1. Lecture Notes:

    Mathematical Reasoning with Diagrams

    av Mateja Jamnik

    Häftad, Engelska, 2001-11-01
    213
    Köp
    Skickas från oss inom 10-15 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 »

  2. Lecture Notes in Computer Science:

    Diagrammatic Representation and Inference

    av Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz

    Häftad, Engelska, 2016-07-26
    689
    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 »

  3. Diagrammatic Representation and Inference E-bok

    av Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz

    E-bok (PDF, LCP), Engelska, 2016-07-25
    821
    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 »

  4. Lecture Notes in Computer Science:

    Diagrammatic Representation and Inference

    av Ashok K Goel, Mateja Jamnik, N Hari Narayanan, Ashok K Goel

    Häftad, Engelska, 2010-07-30
    531
    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 w...

    Läs mer »

  5. Diagrammatic Representation and Inference E-bok

    av Ashok K Goel, Mateja Jamnik, N Hari Narayanan

    E-bok (PDF, LCP), Engelska, 2010-07-27
    672
    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 »