Rajaa
Hakutulokset: 9783642396335
Rajaa
yksi hakutulos.
Interactive Theorem Proving
nidottu,
2013,
englanti,
ISBN 9783642396335
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular …