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

Ejemplares similares

• Automated reasoning: 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 14-17, 2018, proceedings
  por: Galmiche, Didier, et al.
  Publicado: (2018)
• Interactive theorem proving: 9th international conference, ITP 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 9-12, 2018, proceedings
  por: Avigad, Jeremy, et al.
  Publicado: (2018)
• Formal methods: 22nd international symposium, FM 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 15-17, 2018, proceedings
  por: Havelund, Klaus, et al.
  Publicado: (2018)
• Cognitive computing - ICCC 2018: second international conference, held as part of the services conference federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, proceedings
  por: Xiao, Jing, et al.
  Publicado: (2018)
• Internet of things - ICIOT 2018: third international conference, held as part of the services conference federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, proceedings
  por: Georgakopoulos, Dimitrios, et al.
  Publicado: (2018)