The computational complexity of logical theories

Web Site CiNii Available at 80 libraries

Bibliographic Information

Title
"The computational complexity of logical theories"
Statement of Responsibility
Jeanne Ferrante, Charles W. Rackoff
Publisher
  • Springer-Verlag
Publication Year
  • 1979
Book size
25 cm
Series Name / No
  • : Berlin
  • : New York

Search this Book/Journal

Notes

Bibliography: p. [234]-238

Includes index

Related Books

See more

Details 詳細情報について

Back to top