こちらに共通ヘッダが追加されます。
検索結果一覧に戻る

この情報を出力する

このページのリンク

他の検索サイト

Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991 : proceedings / J.P. Myers, Jr., M.J. O'Donnell, eds
(Lecture notes in computer science ; 613)

データ種別 図書
出版者 Berlin ; New York : Springer-Verlag
出版年 c1992
大きさ x, 246 p. : ill. ; 25 cm

所蔵情報を非表示

理工学部 情報系
418.6||L3||613 932015789


書誌詳細を非表示

書誌ID BB00198019
本文言語 英語
一般注記 Contains papers presented at the Symposium on Constructivity in Computer Science held in San Antonio, Tex., June 19-22, 1991 sponsored by Trinity Universty, the University of Chicago, and the Association for Symbolic Logic
Includes bibliographical references and index
著者標目  Myers, J. P. (J. Paul), 1946-
 O'Donnell, Michael J., 1952-
件　名 LCSH:Computer science -- Mathematics -- Congresses  全ての件名で検索
分　類 LCC:QA76.9.M35
DC20:005.13/1
巻冊次 : gw ; ISBN:3540556311 RefWorks出力（各巻）
: us ; ISBN:0387556311 RefWorks出力（各巻）
NCID BA17202863
目次・あらすじ

 類似資料

検索結果一覧に戻る