Gems of theoretical computer science, : pbk.

Gems of theoretical computer science, : pbk.

Uwe Schöning, Randall Pruim

Berlin ; New York : Springer, c1998

図書等

巻号情報

: pbk.
No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

007.1-Sc6

10013023135

一般図書

詳細情報

刊年

1998

形態

x, 320 p. : ill. ; 25 cm

別書名

Perlen der theoretischen Informatik

統一書名

Perlen der theoretischen Informatik

注記

Includes bibliographical references and index

出版国

ドイツ=ドイツ連邦共和国

標題言語

英語 (eng)

本文言語

英語 (eng)

原作言語

ドイツ語 (ger)

著者情報

Schöning, Uwe, 1955- [ Schöning, U. ]

Pruim, Randall J.

分類

LCC:QA76.9.A96

DC21:004/.01/5113

件名

Automatic theorem proving

ISBN

9783642643521 (: pbk.)

NCID

BA38135833

番号

LCCN : 98025081