13th International Conference on Interactive Theorem Proving, ITP 2022, August 7-10, 2022, Haifa, Israel.
Published in: ITP (2022)
Keyphrases
- interactive theorem proving
- lecture notes in artificial intelligence
- artificial intelligence in education
- advances in computational intelligence
- lecture notes
- special issue
- ai edam
- knowledge discovery and data mining
- proceedings of the th international conference
- database
- computer science
- invited talk
- artificial intelligence
- intelligent systems
- collaborative learning
- multi objective
- international workshop
- case study
- information systems
- book constitutes the refereed proceedings
- information retrieval
- data mining
- databases