Login / Signup

Abstractions, instantiations, and proofs of marking algorithms.

Lawrence YelowitzArthur G. Duncan
Published in: Artificial Intelligence and Programming Languages (1977)
Keyphrases