M. Paramasivam
Original record- Institution
- The University of North Carolina at Chapel Hill
- Year
- 1997
- Country
- United States
- MGP identifier
- 117347
Dissertation: Instance-Based First-Order Methods Using Propositional Calculus Provers
Mathematics Subject Classification: 68—Computer science
Advisor 1
- David Alan PlaistedStanford University · 1976
Students 0
No students recorded in this snapshot.