Mendeley出力
Proofs and Algorithms : An Introduction to Logic and Computability / by Gilles Dowek
(Undergraduate Topics in Computer Science)
| データ種別 | 電子ブック |
|---|---|
| 著者標目 | *Dowek, Gilles SpringerLink (Online service) |
| 出版者 | London : Springer-Verlag London Limited |
| 出版年 | 2011 |
書誌詳細を非表示
| 巻次 | ISBN:9780857291219 |
|---|---|
| 大きさ | v.: digital |
| 本文言語 | 英語 |
| 件 名 | LCSH:Computer science LCSH:Information theory FREE:Computer Science FREE:Theory of Computation FREE:Mathematical Logic and Formal Languages |
| 書誌ID | OB00001274 |
| ISBN | 9780857291219 |
| NCID | LB40005459 |