An Approach to Correctness Proofs of Semicoroutines.

Published in: MFCS (1974)

Keyphrases

theorem prover
theorem proving
formal proof
databases
mathematical proofs
neural network
genetic algorithm
social networks
computer vision
knowledge base
website
clustering algorithm
objective function
decision procedures