このページのリンク

Efficient checking of polynomials and proofs and the hardness of approximation problems / Madhu Sudan
(Lecture notes in computer science ; 1001)

データ種別 図書
出版者 Berlin ; New York : Springer-Verlag
出版年 c1995
本文言語 英語
大きさ xiv, 87 p. ; 24 cm

所蔵情報を非表示

書庫2階 QA:267:S83:1995
3540606157 002040752

書誌詳細を非表示

一般注記 Bibliography: p. [73]-78
Includes index
著者標目 *Sudan, Madhu
件 名 LCSH:NP-complete problems
LCSH:Computational complexity
LCSH:Automatic theorem proving
巻冊次 ISBN:3540606157 REFWLINK
ISBN 3540606157
NCID BA26600095 WCLINK
目次/あらすじ

 類似資料