A Programming Notation for Tactical Reasoning

7th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/978-0-387-34768-4_26 ◽

1984 ◽

pp. 445-459 ◽

Cited By ~ 2

Author(s):

David A. Schmidt

Download Full-text