Search
2 headings found for Chikatoshi, Yamada
Heading | Type | Sample Title | |
---|---|---|---|
1 |
Yamada, Chikatoshi
|
Personal | Three-valued temporal logic Q t and future contingents |
2 |
山田, 親稔
|
Personal | Studies on asynchronous system specification for formal verification : a disser
...
|