Proof and computation

Web Site CiNii Available at 28 libraries

Bibliographic Information

Title
"Proof and computation"
Statement of Responsibility
edited by Helmut Schwichtenberg
Publisher
  • Springer-Verlag
Publication Year
  • 1995
Book size
25 cm

Search this Book/Journal

Notes

"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

Related Books

See more

Details 詳細情報について

Back to top