Login / Signup
Reinhard Kahle and Michael Rathjen, editors, Gentzen's Centenary: The Quest for Consistency, Springer, 2015.
Henry Towsner
Published in:
Bull. Symb. Log. (2016)
Keyphrases
</>
computer science
special issue
learning curve
consistency checking
real time
neural network
real world
machine learning
distributed databases
lecture notes in artificial intelligence
global consistency