Formal differentiation : a program synthesis technique

Author(s)

• Paige, Robert A.

Bibliographic Information

Formal differentiation : a program synthesis technique

by Robert A. Paige

（Computer science, Artificial intelligence ; no. 6）

UMI Research Press, c1981

Note

Bibliography: p. [271]-273

Includes index

Details

• NCID: BA12360765
• ISBN:
  • 0835712133
• LCCN: 81007632
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Ann Arbor, Mich.
• Pages/Volumes: x, 277 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.6
  • DC19 : 519.7
• Subject Headings:
  • LCSH : Electronic digital computers -- Programming
  • LCSH : Algorithms
• Parent Bibliography ID:
  • BA00374274