Login / Signup

The Completeness of Provable Realizability.

Grigori Mints
Published in: Notre Dame J. Formal Log. (1989)
Keyphrases
  • data quality
  • formal proofs
  • database
  • artificial intelligence
  • expert systems
  • low level
  • simulated annealing