Login / Signup

Remarks on Remarks on Many-Sorted Equational Logic.

Joseph A. GoguenJosé Meseguer
Published in: ACM SIGPLAN Notices (1987)
Keyphrases
  • theorem proving
  • automated reasoning
  • horn clauses
  • real world
  • real time
  • neural network
  • machine learning
  • image processing
  • bayesian networks
  • hidden markov models
  • mobile robot
  • propositional logic
  • equational theories