Year | Venue | Field |
---|---|---|
2015 | Conference on Empirical Methods in Natural Language Processing | Logical consequence,Programming language,Expression (mathematics),Computer science,Automated theorem proving,Schematic,Natural language understanding,Preprocessor,Natural language,Artificial intelligence,Natural language processing,Gas meter prover |
DocType | Volume | Citations |
Conference | D15-1 | 8 |
PageRank | References | Authors |
0.74 | 20 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Lasha Abzianidze | 1 | 23 | 6.51 |