Wait-Free Linearization with a Mechanical Proof.

Wim H. Hesselink

Published in: Distributed Comput. (1995)

Keyphrases

metadata
multimedia
mechanical design
theorem proving
database
artificial intelligence
first order logic
similarity measure
video sequences
multiresolution
theorem prover
mixed integer
linear logic
proof planning