<図書>

Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings / A. Voronkov (ed.)

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

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図 : Berlin 39:L:1.592 2012406704

6227/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1992
大きさ ix, 514 p. : ill. ; 25 cm
一般注記 Includes bibliographical references
著者標目 *Russian Conference on Logic Programming (1st : 1990 : Irkutsk, R.S.F.S.R.)
Voronkov, A. (Andreĭ), 1959-
Russian Conference on Logic Programming (2nd : 1991 : Saint Petersburg, Russia)
件 名 LCSH:Logic programming -- Congresses
分 類 LCC:QA76.63
DC20:005.1/1
本文言語 英語
書誌ID 2000254081
ISBN 3540554602
NCID BA14286175 WCLINK

検索結果一覧に戻る ページトップ