Jump to main content

yr 〜
yr

Search results 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

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
Paper図書
Olaf Beyersdorff, Christoph M. Wintersteiger (eds.)Springerc2018
Other Libraries in Japan
  • Subject Heading...LC)fst00872010 Computer software -- Verification. fast (OCoLC)fst00872604 Computers -- Intelligence (AI...
  • Subject Heading (ID)...LC)fst00872010 Computer software -- Verification. fast (OCoLC)fst00872604 Computers -- Intelligence (AI...

Reached to the end of result.

RSS