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