Name
Year | DOI | Venue |
|---|---|---|
1987 | 10.1002/scj.4690180601 | Systems and Computers in Japan |
Field | DocType | Volume |
Computer science,Axiom,Linear temporal logic,Artificial intelligence,Axiom of extensionality,Axiom schema,Discrete mathematics,Algebra,Theory,Complete theory,First-order logic,Modal logic,Machine learning | Journal | 18 |
Issue | Citations | PageRank |
6 | 2 | 0.43 |
References | Authors | |
4 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Koji Iwanuma | 1 | 138 | 17.65 |
| Masateru Harao | 2 | 58 | 12.07 |
| Shoichi Noguchi | 3 | 162 | 39.93 |