M. Laudet

Symposium on Automatic Demonstration - 1970 - Heidelberg Springer Berlin 1970 - Proceedings - Lecture Notes in Mathematics v.125 .

9783540362623


Mathematics and Statistics