Showing 1 - 1 results of 1 for search 'Eekelen, Marko van', query time: 0.01s
Refine Results
-
1
Interactive theorem proving second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, proceedings
Published 2011Call Number: loading...Available for the University of the Philippines Diliman via SpringerLink. Click here to access
Located: loading...
Electronic Resource