語系
Beyersdorff, Olaf.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Theory and Applications of Satisfiability Testing – SAT 2018 = 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings /
by:
SpringerLink (Online service); Beyersdorff, Olaf.; Wintersteiger, Christoph M.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Theory and applications of satisfiability testing - SAT 2018 = 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings /
by:
Wintersteiger, Christoph M.; Beyersdorff, Olaf.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Computer algorithms
Software Engineering.
Artificial Intelligence (incl. Robotics)
Computer science—Mathematics.
Artificial Intelligence.
Artificial intelligence.
Software engineering.
Theory of Computation.
Data Structures.
Computers.
Discrete Mathematics in Computer Science.
Data structures (Computer science).
Computer Science.
Programming Techniques.
Computer programming.
Computer software