14th International Conference on Interactive Theorem Proving, ITP 2023, July 31 to August 4, 2023, Białystok, Poland
Published in: ITP (2023)
Keyphrases
- lecture notes
- interactive theorem proving
- computer science
- lecture notes in artificial intelligence
- knowledge discovery and data mining
- special issue
- international symposium
- artificial intelligence
- czech republic
- training set
- control system
- real time
- association rules
- researchers and practitioners
- years ago
- case study
- knowledge base
- ifip th world computer congress
- databases