computational logic
Sign in to saveuse of logic to perform or reason about computation
Connections
formal verification
Entity
John Alan Robinson
Entity
mathematics
Entity
philosophy
Entity
logic
Entity
computer science
Entity
International Standard Book Number
Entity
mathematical logic
Entity
University of Edinburgh
Entity
logic programming
Entity
philosophical logic
Entity
computation
Entity
type theory
Entity
automated reasoning
Entity
automated theorem proving
Entity
logic in computer science
Entity
Robert S. Boyer
Entity
Dov Gabbay
Entity