Proof Assistants and Their Applications in Mathematics and Computer Science

Υπό έκδοση
06-03-2027
81.24€
81.24€