Login / Signup
Modelling Bit Vectors in HOL: the word library.
Wai Wong
Published in:
HUG (1993)
Keyphrases
</>
bit vectors
bit vector
theorem prover
co occurrence
n gram
gray code
databases
image classification
locality sensitive hashing