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