このページのリンク

Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings / Jacques Calmet, Carla Limongelli (eds.)
(Lecture notes in computer science ; 1128)

データ種別 図書
出版者 Berlin : Springer
出版年 c1996
本文言語 英語
大きさ ix, 356 p. ; 24 cm

所蔵情報を非表示

書庫2階 QA:76.9:S88:I576:1996
3540616977 002210555

書誌詳細を非表示

一般注記 Includes bibliographical references
著者標目 *International Symposium on Design and Implementation of Symbolic Computation Systems (4th : 1996 : Karlsruhe, Germany)
Calmet, Jacques, 1941-
Limongelli, Carla
件 名 LCSH:System design -- Congresses  全ての件名で検索
LCSH:Automatic theorem proving -- Congresses  全ての件名で検索
LCSH:Mathematics -- Data processing -- Congresses  全ての件名で検索
分 類 LCC:QA76.9.S88
DC20:005.1/31
巻冊次 ISBN:3540616977 REFWLINK
ISBN 3540616977
NCID BA28363762 WCLINK
目次/あらすじ

 類似資料