Login / Signup

Relativization of Gurevich's Conjectures.

Anatole DahanAnuj Dawar
Published in: Fields of Logic and Computation III (2020)
Keyphrases
  • nearest neighbor
  • theorem prover
  • inductive inference
  • data mining
  • multi dimensional