Ait-Ameur, Yamine.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods and software engineering21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 : proceedings /
by:
(1998 :); Ait-Ameur, Yamine.; Qin, Shengchao.; SpringerLink (Online service)
(書目-電子資源)
Implicit and explicit semantics integration in proof-based developments of discrete systemscommunications of NII Shonan Meetings /
by:
Ait-Ameur, Yamine.; Mery, Dominique.; Nakajima, Shin.; SpringerLink (Online service)
(書目-電子資源)
Theoretical aspects of software engineering16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022 : proceedings /
by:
(1998 :); Ait-Ameur, Yamine.; Craciun, Florin.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Theory of Computation.
Software Engineering.
Mathematical Logic and Foundations.
Natural Language Processing (NLP)
Computer and Information Systems Applications.
Logic in AI.
Computer software
Database Management.
Formal methods (Computer science)
Artificial Intelligence.
Computer Systems Organization and Communication Networks.
Simulation and Modeling.
Knowledge Based Systems.