Statistics
Publications
1
Citations
111
H-Index
1
Active since
1976
Affiliations
Department of Mathematical Sciences(Current)
Wos is an author at Department of Mathematical Sciences specializing in proof complexity, automated reasoning, and automatic theorem proving.
Publications per year
1976–1976
1
1
1–1 of 1