Pace, Gordon J.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Runtime Verification = A Hands-On Approach in Java /
by:
SpringerLink (Online service); Pace, Gordon J.; Colombo, Christian.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Mathematics of discrete structures for computer science
by:
Pace, Gordon J.; SpringerLink (Online service)
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
, [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)
(書目-語言資料,印刷品)
主題
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.