Conference
Capturing the Content of Physics: Systems, Observables, and Experiments.
Authors
Hilf ER; Kohlhase M; Stamerjohanns H
Editors
Borwein JM; Farmer WM
Series
Lecture Notes in Computer Science
Volume
4108
Pagination
pp. 165-178
Publisher
Springer
Publication Date
2006
ISBN-10
3-540-37104-4
Conference proceedings
MKM