Proof and computation

Author(s)

• Schwichtenberg, Helmut
• NATO Advanced Study Institute on Proof and Computation

Bibliographic Information

Proof and computation

edited by Helmut Schwichtenberg

（NATO ASI series, Ser. F . Computer and systems sciences ; v. 139）

Springer-Verlag, 1995

Note

"Proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20-Aug. 1, 1993" -- T.p. verso

"Published in cooperation with NATO Scientific Affairs Division"

Includes bibliographical references

Details

• NCID: BA2521550X
• ISBN:
  • 3540585818
• LCCN: 95012490
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: 470 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.63
  • DC20 : 004/.01/5113
• Subject Headings:
  • LCSH : Logic programming -- Congresses
  • LCSH : Logic, Symbolic and mathematical -- Congresses
• Parent Bibliography ID:
  • BA00020624