Interactive Theorem Proving
Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Szerző:
Lennart Beringer, Amy Felty
Elérhetőség:
Beszállítói készleten alacsony példányszámban
Küldés 13-18 napon belül
20 693
Ft
This book constitutes the thoroughly refereed proceedings of the Third International Conference on I...
