Manyà, Felip.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /
by:
SpringerLink (Online service); Li, Chu-Min.; Manyà, Felip.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /
by:
Manyà, Felip.; Li, Chu-Min.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Computer System Implementation.
Logic programming.
Computer logic.
Special Purpose and Application-Based Systems.
Artificial intelligence.
Computer systems.
Control Structures and Microprogramming.
Software engineering.
Computers, Special purpose.
Computer science.
Logic in AI.
Theory of Computation.
Computers.
Architecture, Computer.
Microprogramming .
Special purpose computers.