Unifying Correctness Statements.

Walter Guttmann

Published in: MPC (2012)

Keyphrases

natural language
database
control system
neural network
real world
information systems
knowledge base
objective function
computational complexity