Integrating semantic NLP and logic reasoning into a unified system for fully-automated code checking
| Auteur(s): |
Jiansong Zhang
Nora M. El-Gohary |
|---|---|
| Médium: | article de revue |
| Langue(s): | anglais |
| Publié dans: | Automation in Construction, janvier 2017, v. 73 |
| Page(s): | 45-57 |
| DOI: | 10.1016/j.autcon.2016.08.027 |
- Informations
sur cette fiche - Reference-ID
10190678 - Publié(e) le:
01.12.2018 - Modifié(e) le:
01.12.2018
Structurae coopère avec
