Search
2 headings found for 横山 和弘
Heading | Type | Sample Title | |
---|---|---|---|
1 |
横山, 和弘, 1958-
|
Personal | Algorithms of Quantifier Elimination and their Applications |
2 |
横山, 和弘
|
Personal | 多項式と計算機代数 |