The computational complexity of logical theories

書誌事項

The computational complexity of logical theories

Jeanne Ferrante, Charles W. Rackoff

(Lecture notes in mathematics, 718)

Springer-Verlag, 1979

  • : Berlin
  • : New York

この図書・雑誌をさがす
注記

Bibliography: p. [234]-238

Includes index

関連文献: 1件中  1-1を表示
詳細情報
ページトップへ