WebOPAC Local書誌詳細

ログイン

書誌詳細

東海大学蔵書検索

前の画面へ戻る

	Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings Michael Fisher, Richard Owens (eds.). -- Springer, 1995. -- (Lecture notes in computer science ; 897 . Lecture notes in artificial intelligence). <TY10032927> 登録タグ：登録されているタグはありません便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じるレビューを見る詳細情報を見る書誌URL：

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings Michael Fisher, Richard Owens (eds.). -- Springer, 1995. -- (Lecture notes in computer science ; 897 . Lecture notes in artificial intelligence). <TY10032927> 登録タグ：登録されているタグはありません便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じるレビューを見る詳細情報を見る書誌URL：

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

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

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


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

このページのTOPへ

目次・あらすじ

このページのTOPへ

レビュー

このページのTOPへ

書誌詳細

標題および責任表示

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings / Michael Fisher, Richard Owens (eds.)

出版・頒布事項

Berlin ; New York : Springer , c1995

形態事項

180 p. : ill. ; 24 cm

巻号情報

ISBN	3540589767

書誌構造リンク

Lecture notes in computer science <TY10000225> 897 . Lecture notes in artificial intelligence

注記

Updated papers presented at the Workshop on Executable Modal and Temporal Logics

学情ID

BA24420230

本文言語コード

英語

著者標目リンク

*International Joint Conference on Artificial Intelligence <> (1993 : Chambéry, Frande)

著者標目リンク

Fisher, Michael, 1962- <>

著者標目リンク

Owens, Richard, 1965- <>

分類標目

LCC:QA76.63.

分類標目

DC20:005.13/1

ローカル分類標目

NDC:549.92

件名標目等

Logic programming -- Congresses

件名標目等

Prolog (Computer program language) -- Congresses

レコードID

TY10032927

このページのTOPへ

前の画面へ戻る

このページのTOPへ