Executable modal and temporal logics : IJCAI '93 Workshop, Chambéry, France, August 28, 1993 : proceedings / Michael Fisher, Richard Owens (eds.). (Lecture notes in artificial intelligence ; 897. Lecture notes in computer science)

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

(Lecture notes in artificial intelligence ; 897. Lecture notes in computer science)

国立国会図書館請求記号: M15-A9566
国立国会図書館書誌ID: 000003234446

資料種別: 図書

著者: Fisher, Michael, 1962-ほか

出版者: Springer-Verlag

出版年: c1995.

資料形態: 紙

ページ数・大きさ等: 180 p. : ill. ; 24 cm.

NDC: -

すべて見る

資料に関する注記

一般注記：: Updated papers presented at the Workshop on Executable Modal and Temporal Logics.

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別: 図書
ISBN: 3540589767 (Berlin : acid-free)
0387589767 (New York : acid-free)
タイトル: Executable modal and temporal logics : IJCAI '93 Workshop, Chambéry, France, August 28, 1993 : proceedings / Michael Fisher, Richard Owens (eds.).
シリーズタイトル: Lecture notes in artificial intelligence ; 897. Lecture notes in computer science
タイトル標目: Lecture notes in computer science ; 897.
Lecture notes in computer science. Lecture notes in artificial intelligence.
著者標目: Fisher, Michael, 1962-
Owens, Richard, 1965-
International Joint Conference on Artificial Intelligence (1993 : Chambéry, France)
出版事項: Berlin : Springer-Verlag
出版年月日等: c1995.
出版年（W3CDTF）: 1995
数量: 180 p. : ill. ; 24 cm.
出版地（国名コード）: DE
本文の言語コード: eng
件名標目: Logic programming -- Congresses.
Prolog (Computer program language) -- Congresses.
LCC: QA76.63.
DDC: 005.13/1
NDLC: M15
M159
一般注記: Updated papers presented at the Workshop on Executable Modal and Temporal Logics.
書誌注記: Includes bibliographies.
所蔵機関: 国立国会図書館
請求記号: M15-A9566
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000003234446
http://id.ndl.go.jp/bib/000003234446
LC control number: 95001416
https://lccn.loc.gov/95001416
整理区分コード: 211