Detail

Publication date: 01/01/2013

Computing with mathematical arguments

Authors

Jesse Alama, Hanne Andersen, Jesse Alama, Hanne Andersen, Dennis Dieks, Wenceslao J. Gonzalez, Thomas Uebel,, Reinhard Kahle, Gregory Wheeler, and Reinhard Kahle, Dennis Dieks, Wenceslao Gonzalez, Thomas Uebel, Gregory Wheeler,