Proceedings 14th International Conference on Automated Deduction in Geometry.
Pedro QuaresmaZoltán KovácsPublished in: CoRR (2024)
Keyphrases
- automated deduction
- lecture notes in artificial intelligence
- lecture notes
- international workshop
- international conference
- computer science
- advances in artificial intelligence
- theorem proving
- international symposium
- theorem prover
- inference rules
- artificial intelligence
- book constitutes the refereed proceedings
- logic programming
- three dimensional
- deductive databases
- conference on artificial intelligence
- knowledge discovery and data mining
- australasian database conference
- progress in artificial intelligence
- intelligent systems
- working conference
- database systems
- artificial intelligence in education
- software engineering
- knowledge discovery
- computer personnel