Corrigendum: Soundness and Completeness of an Axiom System for Program Verification.

Stephen A. Cook

Published in: SIAM J. Comput. (1981)

Keyphrases

inference rules
modal logic
artificial intelligence
machine learning
semi supervised
semi supervised learning
knowledge representation
feature vectors
labeled data