Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

Web Site CiNii Available at 56 libraries

Bibliographic Information

Title
"Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings"
Statement of Responsibility
Jeffrey J. Joyce, Carl-Johan H. Seger [editors]
Publisher
  • Springer-Verlag
Publication Year
  • c1994
Book size
24 cm
Series Name / No
  • : gw
  • : us

Search this Book/Journal

Notes

Papers presented at the 1993 HOL User's Group Workshop

Includes bibliographical references and index

Related Books

See more

Details 詳細情報について

Back to top