Amanote Research
Register
Sign In
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018
doi 10.1145/3176245
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2018
Authors
Unknown
Publisher
ACM Press
Related search
Proceedings of the 7th Information Design International Conference
Proceedings of the 29th ACM on International Conference on Supercomputing - ICS '15
Proceedings of the 24th ACM International on Conference on Information and Knowledge Management - CIKM '15
Spatial Cognition in a Multimedia and Intercultural World Proceedings of the 7th International Conference on Spatial Cognition (ICSC 2018)
Cognitive Processing
Medicine
Cognitive Psychology
Experimental
Artificial Intelligence
Cognitive Neuroscience
Proceedings of the Eleventh ACM International Conference on Web Search and Data Mining - WSDM '18
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012
ICGG 2018 - Proceedings of the 18th International Conference on Geometry and Graphics
Advances in Intelligent Systems and Computing
Control
Systems Engineering
Computer Science
Conference Report for the 7th International Conference on ECOMATERIALS
Journal of Life Cycle Assessment, Japan
Proceedings of the 19th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems - GIS '11
