Statistics
Publications
1
Citations
39
H-Index
1
Active since
2008
Affiliations
Lorrie Lehmann is an author at University of North Carolina at Charlotte specializing in proof assistants, deductive reasoning, and computer science.
Publications per year
2008–2008
1
1
1–1 of 1