Pace, Gordon J.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Runtime Verification = A Hands-On Approach in Java /
by:
SpringerLink (Online service); Pace, Gordon J.; Colombo, Christian.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Mathematics of discrete structures for computer science
by:
Pace, Gordon J.; SpringerLink (Online service)
(Language materials, printed)
Controlled Natural Language = 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings /
by:
Wyner, Adam.; SpringerLink (Online service); Davis, Brian.; Pace, Gordon J.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Controlled natural language = 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Wyner, Adam.; Pace, Gordon J.; Davis, Brian.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Computer science—Mathematics.
Artificial intelligence.
Software engineering.
Language Translation and Linguistics.
Theory of Computation.
Natural language processing (Computer science).
Natural language processing (Computer science)
Mathematics of Computing.
Computer Science.
Computer science
Mathematical Logic and Foundations.
Document Preparation and Text Processing.
Artificial Intelligence (incl. Robotics)
Data mining.
Database management.
Artificial Intelligence.
Natural Language Processing (NLP).
Computer science.
Data Mining and Knowledge Discovery.
Database Management.