Mizar verification of generic algebraic algorithms
Mizar verification of generic algebraic algorithms
Christoph Schwarzweller
Details
OL Work ID
OL41965452W
Find this book
Open Library