Mendeley出力
Gems of theoretical computer science / Uwe Schöning, Randall Pruim
| データ種別 | 図書 |
|---|---|
| 著者標目 | *Schöning, Uwe, 1955- Pruim, Randall J. |
| 出版者 | Berlin ; New York : Springer |
| 出版年 | c1998 |
書誌詳細を非表示
| 別書名 | 原タイトル:Perlen der theoretischen Informatik |
|---|---|
| 巻次 | ISBN:3540644253 : pbk. ; ISBN:9783642643521 |
| 大きさ | x, 320 p. : ill. ; 25 cm |
| 本文言語 | 英語 |
| 一般注記 | Includes bibliographical references and index |
| 件 名 | LCSH:Automatic theorem proving |
| 分 類 | LCC:QA76.9.A96 DC21:004/.01/5113 |
| 書誌ID | 1000241777 |
| ISBN | 3540644253 |
| NCID | BA38135833 |