Statistics
Publications
1
Citations
11
H-Index
1
Active since
2010
Affiliations
IBM Research - Haifa(Current)
Oded Fuhrmann is an author at IBM Research - Haifa specializing in theory of computation, resolution theorem proving, and theorem proving.
Publications per year
2010–2010
1
1
1–1 of 1