Mechanical Verification of Insert-Sort and Merge-Sort Using Multisets in Theorema.

Isabela Dramnesc Tudor Jebelean

Published in: SISY (2023)

Keyphrases

neural network
database
information retrieval
multi agent
databases
machine learning
computer vision
multimedia
expert systems
special case