Login / Signup
Depth d Frege systems are not automatable unless P=NP.
Theodoros Papamakarios
Published in:
Electron. Colloquium Comput. Complex. (2023)
Keyphrases
</>
high quality
np hard
management system
distributed systems
computer systems
np complete
expert systems
mobile robot
computing systems
real time
machine learning
website
three dimensional
multi agent systems
building blocks