Series:

Lecture Notes in Mathematics

1 primary work

Book 230

Cover of 8th International Conference on Automated Deduction