Journal of automated reasoning
๐
Article
๐
1986
๐
Springer Netherlands
๐
English
โ 62 KB
Wos and there are 31 members of the editorial board. This note is based on reading Vol 1, no. 1. According to the introduction by Wos, the field of automated reasoning (AR) was born around 1979. He expects that AR will become a dominant theory of computer science in the coming years. The first pape