Proof Systems for Super- Strict Implication.

Guido Gherardi Eugenio Orlandelli Eric Raidl

Published in: Stud Logica (2024)

Keyphrases

computer systems
retrieval systems
expert systems
distributed systems
learning systems
databases
data mining
machine learning
computer vision
metadata
probabilistic model
management system
intelligent systems
complex systems