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

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)
• 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
  por: Beyersdorff, Olaf, 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)
• 20th International Conference on Theorem Proving in Higher Order Logics
  Publicado: (2007)
• Future network systems and security: 4th international conference, FNSS 2018, Paris, France, July 9-11, 2018, proceedings
  por: Doss, Robin, et al.
  Publicado: (2018)