A Semantical View of Proof Systems.

Elaine Pimentel

Published in: WoLLIC (2018)

Keyphrases

complex systems
management system
retrieval systems
neural network
case study
multiscale
digital libraries
information retrieval systems
intelligent systems
knowledge based systems
building blocks
embedded systems
theorem proving