8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy
Published in: FSCD (2023)
Keyphrases
- lecture notes
- computer science
- lecture notes in artificial intelligence
- efficient computation
- real time
- artificial intelligence in medicine
- advances in computational intelligence
- database
- formal methods
- formal specification
- theorem proving
- inference rules
- image structure
- image processing
- automated deduction
- knowledge base
- databases