Author Info
Name
Papers
Collaborators
ANITA JINDAL
2
4
Citations 
PageRank 
Referers 
10
1.08
12
Referees 
References 
3
3
Title
Citations
PageRank
Year
Exploitation of parallel processing for implementing high-performance deduction systems90.721992
A high-performance parallel theorem prover10.371990