Languages
Beyersdorff, Olaf.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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 :)
(Language materials, printed)
Subjects
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