Login / Signup
Towards a Calculus of Predicate Transformers.
Clare E. Martin
Published in:
MFCS (1995)
Keyphrases
</>
first order logic
genetic algorithm
information systems
proof procedure
computer algebra
decision making
case study
natural deduction
logic rules