Author Info
Name
Affiliation
Papers
B SMITH
Argonne National Laboratory, Argonne, IL
1
Collaborators
Citations 
PageRank 
4
24
8.21
Referers 
Referees 
References 
20
18
12
Title
Citations
PageRank
Year
A new use of an automated reasoning assistant: open questions in equivalential calculus and the study of infinite domains248.211984