The Existence of Proof Systems.

Rosalie Iemhoff

Published in: Advances in Modal Logic (2018)

Keyphrases

data structure
complex systems
learning systems
systems require
real world
information systems
image processing
face recognition
video sequences
digital libraries
expert systems
mobile devices
distributed systems
intelligent systems
knowledge based systems
computing systems