Constructing programs automatically using theorem proving

Author(s)

• Waldinger, Richard

Bibliographic Information

Constructing programs automatically using theorem proving

Richard J. Waldinger

In-house reproduction

Note

Thesis(doctoral)--Carnegie-Mellon University, 1969

Details

• NCID: BD02040759
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Pages/Volumes: 107 p.
• Size: 26 cm