Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science, 1095) 1996th Edition

3.09 MiB

Download ready in 3s