Proof and Computation



All Links

Share this:

Details of Proof and Computation

About Proof and Computation
Proof and Computation- Ludwig-Maximilians-Universität, Munich, Germany; 5--6 November 1999.