Back to the 1977 catalog

PhD · 1977

Philip T. Cox

Deduction Plans: A Graphical Proof Procedure for the First-Order Predicate Calculus

Year

1977

Academic unit

Computer Science

Surname

Cox

Supervisor

Thomas Pietrzykowski