Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings

Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings

David Basin, Michaël Rusinowitch(eds.)

Berlin ; Tokyo : Springer, c2004

図書等

巻号情報

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

1

007.08-L49-3097

10004008517

一般図書

詳細情報

刊年

2004

形態

xii, 491 p. : ill. ; 24 cm

シリーズ名

Lecture notes in computer science ; 3097 [Lecture notes in artificial intelligence]

注記

Includes bibliographies and index

出版国

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

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

IJCAR [ International Joint Conference on Automated Reasoning ] [ International Joint Conference, IJCAR ]

Basin, David

Rusinowitch, Michaël

分類

LCC:QA76.9.A96

件名

Automatic theorem proving -- Congresses

Computer logic -- Congresses

ISBN

3540223452

NCID

BA68018238

番号

LCCN : 2004107782