Logic for problem solving

Author(s)

• Kowalski, Robert

Bibliographic Information

Logic for problem solving

Robert Kowalski

（Elsevier computer science library, . Artificial intelligence series ; 7）

Elsevier North Holland, c1979

• : pbk

Note

Bibliography: p. 247-260

Includes index

Details

• NCID: BA00887359
• ISBN:
  • 0444003657
  • 0444003681
• LCCN: 79022659
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: 287 p.
• Size: 24 cm
• Classification:
  • LCC : QA63
  • DC : 519.7
• Subject Headings:
  • LCSH : Problem solving
  • LCSH : Electronic digital computers -- Programming
  • LCSH : Logic, Symbolic and mathematical
• Parent Bibliography ID:
  • BA00115276