Mathematical knowledge management : Third International Conference, MKM 2004, Białowieża, Poland, September, 19-21, 2004 : proceedings

Mathematical knowledge management : Third International Conference, MKM 2004, Białowieża, Poland, September, 19-21, 2004 : proceedings

Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.)

Berlin : Springer, c2004

図書等

巻号情報

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

1

007.08-L49-3119

10004016305

一般図書

詳細情報

刊年

2004

形態

x, 392 p. : ill. ; 24 cm

シリーズ名

Lecture notes in computer science ; 3119

注記

Includes bibliographical references and index

出版国

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

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

MKM [ International Conference, Mathematical Knowledge Management ]

Asperti, Andrea [ Asperti, Andrea G. ]

Bancerek, Grzegorz

Trybulec, Andrzej

分類

DC21:510.285

件名

Mathematics -- Data processing

Information storage and retrieval systems -- Mathematics

Automatic theorem proving

ISBN

3540230297

NCID

BA6888998X

番号

LCCN : 2004111460