If quanta had logic.

Michael Friedman Clark Glymour

Published in: J. Philos. Log. (1972)

Keyphrases

linear temporal logic
model checking
neural network
bayesian networks
database
knowledge representation
intuitionistic logic