38
Publications
556
Citations
10
H-Index
5
Concepts
All Affiliations
| # | Concept | H-Index | Publications | Citations |
|---|---|---|---|---|
1 | Automated Reasoning | 3 | 3 | 50 |
2 | Engineering | 2 | 2 | 31 |
3 | Representation Theory | 2 | 2 | 89 |
4 | Formal Methods | 1 | 1 | 20 |
5 | Fuzzy Logic | 1 | 1 | 11 |
B. A. Romov
×
10
Publications
482
Citations
10
H-Index
| Year | Citations | |
|---|---|---|
Page 1
Page 1