Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants

Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants

Bibliografiske detaljer
Andre forfattere:	Rabe
Format:	Electronisk Bog
Sprog:	English
Udgivet:	Association for Computing Machinery (ACM), 8/3/09
Fag:	Conference papers and proceedings.
Online adgang:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Lignende værker

Proof
af: Williams

Tests and Proofs
Udgivet: (2013)

Robot-Proof
af: Aoun

Proof of Guilt
af: Cairns

Proceedings of the 1st Workshop on Speech and Multimodal Interaction in Assistive Environments

Proceedings of the 1st International Workshop on Digital Libraries for Musicology

People, Problems, and Proofs
af: Lipton
Udgivet: (2013)

Certified Programs and Proofs
Udgivet: (2013)

Proceedings of the 1st International Workshop on Future of Software Architecture Design Assistants

Proceedings of the 1st International Workshop on Internet of People, Assistive Robots and Things

2013 1st Workshop on Virtual and Augmented Assistive Technology (VAAT)

International Journal of Evidence & Proof

Proofs of the Cantor-Bernstein Theorem
af: Hinkis
Udgivet: (2013)

A Logical Introduction to Proof
af: Cunningham
Udgivet: (2013)

Advances in Proof-Theoretic Semantics
Udgivet: (2016)

Proof and Proving in Mathematics Education
Udgivet: (2012)

Proceedings of the 2015 Conference on Certified Programs and Proofs

An Alternative Proof of Minimum Trace Reconciliation /
af: Ando, Sakai
Udgivet: (2022)

Proceedings of the 1st international conference on PErvasive Technologies Related to Assistive Environments

Inflation-Proof Tax System? : Some Lessons From Israel.
Udgivet: (1990)

Modules : from design to implementation /
af: Meyer, G. Rex
Udgivet: (1988)

Proceedings of the 1st ACM workshop on Workshop on AISec

Proceedings of the 1st Workshop on Middleware for the Edge

Proceedings of the 1st Workshop on Green Computing

Proceedings of the 1st Workshop on Digital Biomarkers

Modulation Spectroscopy

Proceedings of the 1st ACM SIGMOBILE international workshop on Systems and networking support for healthcare and assisted living environments

2015 1st International Workshop on Future of Software Architecture Design Assistants (FoSADA)

Proceedings of the 1st ACM/IEEE-CS joint conference on Digital libraries

Proceedings of the 1st international convention on Rehabilitation engineering & assistive technology: in conjunction with 1st Tan Tock Seng Hospital Neurorehabilitation Meeting

Proceedings of the 1st International Workshop on Software Protection

Proceedings of the 1st International Workshop on Earable Computing

Proceedings of the 1st Workshop on Distributed Machine Learning

Proceedings of the 1st Workshop on Machine Learning and Systems

Proceedings of the 1st Workshop on Cybersecurity and Social Sciences

Proceedings of the 1st International Workshop on Methodologies for Multimedia

Proceedings of the 1st International Workshop on Live Programming

Proceedings of the 1st International Workshop on Release Engineering

Proceedings of the 1st international workshop on Software and performance