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

Similar Items

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