Limit search to available items
Save marked records Save all on page
SUBJECTS (1-4 of 4)
Proof Theory Data Processing Congresses
1
Mark
  CPP '15 : proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2
CPP (Conference) (4th : 2015 : Mumbai, India)
New York : ACM, 2015. -Access this resource online
2015
EBOOKS
2
Mark
  CPP '16 : proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs : January 1
CPP (Conference) (5th : 2016 : Saint Petersburg, Fla.)
New York : ACM, 2016. -Access this resource online
2016
EBOOKS
3
Mark
  CPP '17 : proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs : January 1
CPP (Conference) (6th : 2017 : Paris, France)
New York : ACM, 2017. -Access this resource online
2017
EBOOKS
4
Mark
  CPP '18 : proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proo
CPP (Conference) (7th : 2018 : Los Angeles, Calif.)
New York : ACM, 2018. -Access this resource online
2018
EBOOKS
Save marked records Save all on page
Locate in results