Manyà, Felip.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.