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