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