Login / Signup
Formal Proof Systems for Program Equivalence.
Jan A. Bergstra
Jan Willem Klop
Published in:
Formal Description of Programming Concepts (1982)
Keyphrases
</>
formal proof
complex systems
databases
computer systems
distributed systems
expert systems
multiscale
knowledge base
artificial intelligence
data sets
bayesian networks
case study
artificial neural networks
probability distribution
management system
intelligent systems
building blocks
neural network