Modelling Digital Logic in SDL.

Gyula Csopaki Kenneth J. Turner

Published in: FORTE (1997)

Keyphrases

logic programming
data sets
neural network
probability theory
multi valued
proof theory
data mining
search engine
website
expert systems
digital video
automated reasoning
classical logic
set theory
digital topology