Small Depth Proof Systems.
Andreas KrebsNutan LimayeMeena MahajanKarteek SreenivasaiahPublished in: ACM Trans. Comput. Theory (2016)
Keyphrases
- complex systems
- neural network
- knowledge based systems
- management system
- computing systems
- retrieval systems
- intelligent systems
- distributed systems
- small number
- expert systems
- image processing
- real time
- control system
- learning environment
- high quality
- computer systems
- information systems
- learning systems
- social networks
- theorem proving
- database