2961 - Automata, languages and machines. Volume A |
2962 - Automata-theoretic aspects of formal power series |
2963 - Automates automatisme automation - Cinquième édition |
2964 - Automates et graphes cartésiens |
2965 - Automatic control and computer engineering. Vol. 1 |
2966 - Automatic control handbook |
2968 - Automatic syntactic analysis |
2969 - Automation in language translation and theorem proving : some applications of mathematical logic, Brussels, June 1968 |
2970 - Automation of reasoning. 1 : Classical papers on computational logic, 1957-1966 |



