Søkt på: Bøker av Mateja Jamnik
totalt 5 treff
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 …
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 …
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 …
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 …
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 …