Year | DOI | Venue |
---|---|---|
1992 | 10.1016/0020-0190(92)90053-X | Inf. Process. Lett. |
Keywords | Field | DocType |
annotated logic | Artificial intelligence,Rule of inference,Completeness (statistics),Semantics,Mathematics | Journal |
Volume | Issue | ISSN |
44 | 3 | 0020-0190 |
Citations | PageRank | References |
10 | 2.76 | 3 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
James J. Lu | 1 | 520 | 118.05 |
Lawrence J. Henschen | 2 | 478 | 280.94 |