Certified programs and proofs : First International Conference, CPP 2011, Kenting, Taiwan, december 7-9, 2011. Proceedings /

Ejemplares similares

• Certified programs and proofs : Second International Conference, CPP 2012, Kyoto, Japan, december 13-15, 2012. Proceedings /
  Publicado: (2012)
• Certified programs and proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, december 11-13, 2013, proceedings /
  Publicado: (2013)
• Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y. 1968. /
  por: Kino, A., et al.
  Publicado: (1970)
• Proof : a play /
  por: Auburn, David, 1969-,
• Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /
  Publicado: (2017)