Parallel processing in Boolean algebra.

Antonín Svoboda

Published in: IEEE Symposium on Computer Arithmetic (1972)

Keyphrases

parallel processing
boolean algebra
constraint query languages
cardinality constraints
computational power
processing speed
distributed processing
theorem prover
ibm sp
artificial intelligence
set theory
parallel computers
knowledge base
general purpose
pc cluster