2 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Larry Wos
The likelihood of an automated reasoning program being of substantial assistance for a wide spectrum of applications rests with the nature of the options and parameters it offers o…