30 years of research and development around Coq.
Gérard P. HuetHugo HerbelinPublished in: POPL (2014)
Keyphrases
- software engineering
- artificial intelligence
- development process
- years ago
- knowledge based systems
- open source
- experience gained
- practical application
- information processing
- real time
- information technology
- case study
- knowledge acquisition
- database systems
- design process
- information retrieval
- machine learning
- development environment
- databases