Languages
Pace, Gordon J.
Overview
| Works: | 0 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Runtime verification = a hands-on approach in Java /
by:
Colombo, Christian.; Pace, Gordon J.; SpringerLink (Online service)
(Electronic resources)
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)
(Electronic resources)
Subjects
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.