語系
Pace, Gordon J.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Runtime verification = a hands-on approach in Java /
by:
Colombo, Christian.; Pace, Gordon J.; SpringerLink (Online service)
(書目-電子資源)
Controlled natural language = 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016 : proceedings /
by:
Davis, Brian.; Pace, Gordon J.; Wyner, Adam.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Theory of Computation.
Mathematical Logic and Foundations.
Natural language processing (Computer science)
Language Translation and Linguistics.
Mathematics of Computing.
Artificial Intelligence (incl. Robotics)
Database Management.
Document Preparation and Text Processing.
Computer software- Verification.
Data Mining and Knowledge Discovery.
Computer Science.