![header](./images/entete.png)
1 - Automation of reasoning. 1 : Classical papers on computational logic, 1957-1966 |
2 - Automation of reasoning. 2 : Classical papers on computational logic, 1967-1970 |
3 - Principles of artificial intelligence |
1 - Automation of reasoning. 1 : Classical papers on computational logic, 1957-1966 |
2 - Automation of reasoning. 2 : Classical papers on computational logic, 1967-1970 |
3 - Principles of artificial intelligence |