すべての資料

図書

雑誌

詳細検索

タイトル

タイトル完全一致統一タイトルを含む

著者名

別名を含む

著者ID

統一タイトルID

出版者

ISBN

ISSN

NCID

件名

分類

注記

資料種別

言語種別

出版年

年から年まで

図書館ID

機関ID

地域

図書館ID・機関ID・地域を記憶する

閉じる

Clarke, Michael

ID:DA04628279

別名: Clarke, Mike

同姓同名の著者を検索

検索結果2件中 1-2 を表示

1

Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993 : proceedings

Michael Clarke, Rudolf Kruse, Serafín Moral (eds.)

Springer-Verlag c1993 Lecture notes in computer science 747

: gw , : us

所蔵館51館
2

Logic for computer science

Steve Reeves, Michael Clarke

Addison-Wesley c1990 International computer science series

所蔵館22館

この著者を外部サイトでさがす

関連著者

ページトップへ