Programming languages : implementations, logics, and programs : 8th International symposium : Sep 1996, Aachen, Germany. (Lecture Notes in Computer Science ; 1140)

Programming languages : implementations, logics, and programs : 8th International symposium : Sep 1996, Aachen, Germany.

(Lecture Notes in Computer Science ; 1140)

国立国会図書館請求記号: M17-00-0288
国立国会図書館書誌ID: 000003510086

資料種別: 図書

著者: Association of Logic Programming.ほか

出版者: Springer-Verlag

出版年: 1996.

資料形態: 紙

ページ数・大きさ等: v.

NDC: -

すべて見る

資料に関する注記

一般注記：: Papers.Also known as PLILP '96. Held in conjunction with the 5th International conference on algebraic and logic programming, ALP '96, and the 3rd Int...

書店で探す

書誌情報

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

紙

資料種別: 図書
ISBN: 3540617566 (pbk)
ISSN: 0302-9743
タイトル: Programming languages : implementations, logics, and programs : 8th International symposium : Sep 1996, Aachen, Germany.
シリーズタイトル: Lecture Notes in Computer Science ; 1140
著者標目: Association of Logic Programming.
Esprit Compulog-Net.
Rheinisch-Westfalische Technische Hochschule (RWTH) Aachen.
SUN Microsystems.
出版事項: Berlin : Springer-Verlag
出版年月日等: 1996.
出版年（W3CDTF）: 1996
数量: v.
並列タイトル等: Also known as PLILP '96. Held in conjunction with the 5th International conference on algebraic and logic programming, ALP '96, and the 3rd International static analysis symposium, SAS '96
programming languages ; PLILP ; logics ; programs
NDLC: M17
M159
一般注記: Papers.
Also known as PLILP '96. Held in conjunction with the 5th International conference on algebraic and logic programming, ALP '96, and the 3rd International static analysis symposium, SAS '96.
Index term: programming languages ; PLILP ; logics ; programs.
BL shelfmark: 5180.185 [no] 1140 1996.
所蔵機関: 国立国会図書館
請求記号: M17-00-0288
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000003510086
http://id.ndl.go.jp/bib/000003510086
UKMARC番号: G05182398
整理区分コード: 215