DBLP:conf/ijcai/Bledcoe75 + redirect page
A New Mehtod for Proving Certain Presburger Formules + Has identifier
| A New Mehtod for Proving Certain Presburger Formules |
Has publishing details
pp. 15-21, 1975
Has title
A New Mehtod for Proving Certain Presburger Formules
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai75.html#Bledcoe75
Has where published
IJCAI
Has year
1975
Has author
W. W. Bledsoe +
Has identifier
A New Mehtod for Proving Certain Presburger Formules +
Categories Proceeding Paper +
|
