Research on Automation Strategy of Coq : Artificial intelligence and security (International conference)
In: Communications in computer and information science 1423:656-665; Jg. 1423 (2021) S. 656-665
Konferenz
Zugriff:
Titel: |
Research on Automation Strategy of Coq : Artificial intelligence and security (International conference)
|
---|---|
Autor/in / Beteiligte Person: | Qian, Hanwei |
Link: | |
Quelle: | Communications in computer and information science 1423:656-665; Jg. 1423 (2021) S. 656-665 |
Veröffentlichung: | 2021 |
Medientyp: | Konferenz |
ISSN: | 1865-0929 (print) |
Sonstiges: |
|