Pulina, Luca.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Theory and Applications of Satisfiability Testing – SAT 2020 = 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings /
by:
Pulina, Luca.; SpringerLink (Online service); Seidl, Martina.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Computer organization.
Computer logic.
Numerical analysis.
Artificial intelligence.
Computer Systems Organization and Communication Networks.
Control Structures and Microprogramming.
Software engineering.
Numeric Computing.
Theory of Computation.
Logic in AI.
Computers.
Microprogramming .