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]
主題
Artificial intelligence.
Computer logic.
Computer organization.
Computers.
Computer Systems Organization and Communication Networks.
Control Structures and Microprogramming.
Logic in AI.
Microprogramming .
Numerical analysis.
Numeric Computing.
Software engineering.
Software Engineering.
Theory of Computation.