Erscheinungsjahr
Datenquelle
Sprache
1–20 von 25 Ergebnissen
Sortieren:
Sortieren:
-
Picturing Quantum Processes
A First Course on Quantum Theory and Diagrammatic ReasoningSpringer Verlag | 2018| -
Picturing Quantum Processes: A First Course on Quantum Theory and Diagrammatic Reasoning
British Library Conference Proceedings | 2018| -
Quantomatic: A Proof Assistant for Diagrammatic Reasoning
British Library Conference Proceedings | 2015| -
Equational Reasoning with Context-Free Families of String Diagrams
British Library Conference Proceedings | 2015|