Symposium on Automatic Demonstration

Author

M. Laudet, D. Lacombe, L. Nolin, M. Schützenberger

Publisher

Springer

Subject

Mathematics

Year

1970

Vol/Edition

125

ISBN

9783540362623