Axioms for Total Correctness.

Stefan Sokolowski

Published in: Acta Informatica (1977)

Keyphrases

knowledge base
neural network
machine learning
object recognition
web services
decision trees
reinforcement learning
video sequences
search algorithm
information technology
management system