17 citations · 17 across the 1 of their papers we have counts for
1 paper
M. Saqib Nawaz, Moin Malik, Yi Li +2
Mechanical reasoning is a key area of research that lies at the crossroads of mathematical logic and artificial intelligence. The main aim to develop mechanical reasoning systems (…