1 - 1 toradh á dtaispeáint as 1 toradh san iomlán ar an gcuardach 'ITP(Conference) Berg en Dal, Netherlands)', am iarratais: 0.01s
Beachtaigh na torthaí
-
1
Interactive theorem proving second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, proceedings
Foilsithe / Cruthaithe 2011Gairmuimhir: loading...Available for the University of the Philippines Diliman via SpringerLink. Click here to access
Suíomh: loading...
Electronic Resource