Depth-d Frege Systems Are Not Automatable Unless P = NP.

Theodoros Papamakarios

Published in: CCC (2024)

Keyphrases

learning systems
distributed systems
np complete
information systems
website
expert systems
management system
intelligent systems
database
neural network
three dimensional
multiscale
data structure
training set
special case
computing systems