Sign in
The canonical pairs of bounded depth Frege systems.
Pavel Pudlák
Published in:
CoRR (2019)
Keyphrases
</>
distributed systems
real time
data sets
databases
data mining
information retrieval
management system
information retrieval systems
knowledge based systems
depth map
depth images