automated . theorem . proving . springer . study . edition . frhjahrsschule . teisendorf . mrz . bibel . wolfgang .
Format
Author
Status
List Price