2892 - Automatic syntactic analysis |
2893 - Automation in language translation and theorem proving : some applications of mathematical logic, Brussels, June 1968 |
2894 - Automation of reasoning. 1 : Classical papers on computational logic, 1957-1966 |
2895 - Automation of reasoning. 2 : Classical papers on computational logic, 1967-1970 |
2896 - Automatique des systèmes linéaires. 1. Signaux et systèmes |
2899 - Automorphic form on GL(2). Part. II |
2900 - Automorphic forms and applications |