Solving higher-order equations : from logic to programming

Author(s)

• Prehofer, Christian

Bibliographic Information

Solving higher-order equations : from logic to programming

Christian Prehofer

（Progress in theoretical computer science）

Birkhäuser, c1998

Note

Includes bibliographical references and index

Details

• NCID: BA34132775
• ISBN:
  • 0817640320
  • 3764340320
• LCCN: 97031142
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Boston
• Pages/Volumes: vii, 186 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.9.L63
  • DC21 : 005.13/1
• Subject Headings:
  • LCSH : Computer logic
  • LCSH : Declarative programming
  • LCSH : Logic, Symbolic and mathematical
• Parent Bibliography ID:
  • BA1282110X