WebOPAC Local書誌詳細

ログイン

書誌詳細

東海大学蔵書検索

検索結果一覧へ戻る

	Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992 : selected papers E. Börger ... [et al.] (eds.) ; : gw, : us. -- Springer-Verlag, 1993. -- (Lecture notes in computer science ; 702). <TY10016724> 登録タグ：登録されているタグはありません便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる目次・あらすじを見るレビューを見る詳細情報を見る書誌URL：

Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992 : selected papers E. Börger ... [et al.] (eds.) ; : gw, : us. -- Springer-Verlag, 1993. -- (Lecture notes in computer science ; 702). <TY10016724> 登録タグ：登録されているタグはありません便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる目次・あらすじを見るレビューを見る詳細情報を見る書誌URL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No.	巻号	所蔵館	配置場所	請求記号	資料ID	状態	返却予定日	予約	WEB書棚
0001		12号館	開架室	549.92/L/702	0010006351417	配架済		0件


No.	0001
巻号
所蔵館	12号館
配置場所	開架室
請求記号	549.92/L/702
資料ID	0010006351417
状態	配架済
返却予定日
予約	0件
WEB書棚

このページのTOPへ

目次・あらすじ

このページのTOPへ

レビュー

このページのTOPへ

書誌詳細

標題および責任表示

Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992 : selected papers / E. Börger ... [et al.] (eds.)

出版・頒布事項

Berlin ; Tokyo : Springer-Verlag , c1993

形態事項

viii, 439 p. : ill. ; 24 cm

巻号情報

巻次等	: gw
ISBN	3540569928

巻号情報

巻次等	: us
ISBN	0387569928

書誌構造リンク

Lecture notes in computer science <TY10000225> 702

注記

"The Computer Science Logic Workshop CSL'92 was held in San Miniato (Pisa) from September 28 to October 2, 1992"--Pref

注記

Includes bibliographical references

学情ID

BA20754802

本文言語コード

英語

著者標目リンク

Börger, Egon, 1946- <>

著者標目リンク

Workshop on Computer Science Logic <> (6th : 1992 : San Miniato, Italy)

分類標目

LCC:QA75.5

分類標目

DC20:004/.01/5113

ローカル分類標目

NDC:549.92

件名標目等

Computer science -- Congresses

件名標目等

Logic, Symbolic and mathematical -- Congresses

レコードID

TY10016724

このページのTOPへ

検索結果一覧へ戻る

このページのTOPへ

S