Automated reasoning : essays in honor of Woody Bledsoe

Web Site CiNii Available at 13 libraries

Bibliographic Information

Title
"Automated reasoning : essays in honor of Woody Bledsoe"
Statement of Responsibility
edited by Robert S. Boyer
Publisher
  • Kluwer Academic Publishers Group
Publication Year
  • c1991
Book size
25 cm

Search this Book/Journal

Notes

Includes index

Related Books

See more

Details 詳細情報について

Back to top