Certified programs and proofs : Second International Conference, CPP 2012, Kyoto, Japan, december 13-15, 2012. Proceedings /

Similar Items

• Certified programs and proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, december 11-13, 2013, proceedings /
  Published: (2013)
• Certified programs and proofs : First International Conference, CPP 2011, Kenting, Taiwan, december 7-9, 2011. Proceedings /
  Published: (2011)
• Proof techniques in graph theory : proceedings of the second Ann Arbor Graph Theory Conference, February, 1968
  by: Harary, Frank, et al.
  Published: (1969)
• 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-,