<図書>

Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986 / Eiiti Wada (ed.)

(Lecture notes in computer science;264)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1987
大きさ 179 p. ; 25 cm
一般注記 "Papers presented at the fifth Logic Programming Conference ... sponsored by ICOT (the Institute for New Generation Computer Technology)"--Foreword
Includes bibliographical references
著者標目 *Logic Programming Conference (5th : 1986 : Tokyo, Japan)
新世代コンピュータ技術開発機構 <シンセダイ コンピュータ ギジュツ カイハツ キコウ>
和田, 英一(1931-) <ワダ, エイイチ>
件 名 LCSH:Logic programming -- Congresses
NDLSH:プログラミング(電子計算機)
分 類 LCC:QA76.6
DC19:005.1
NDC8:007.64
本文言語 英語
書誌ID 2000031003
ISBN 3540180249
NCID BA00673275 WCLINK

類似資料

  1. 1 Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings / edited by Ehud Shapiro
  2. 2 Logic Programming '85 : proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985 / edited by Eiiti Wada
  3. 3 RIMS Symposia on Software Science and Engineering II : proceedings of the Symposia 1983 and 1984, Kyoto, Japan / edited by Eiichi Goto, Keijiro Araki and Taiichi Yuasa
  4. 4 Category theory and computer programming : Tutorial and Workshop, Guildford, U.K., September 16-20, 1985 : proceedings / edited by David Pitt ... [et al.]
  5. 5 ECOOP '87 : European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987 : proceedings / J. Bézivin ... [et al.] (eds.)
  6. 6 A connotational theory of program structure / James S. Royer
  7. 7 Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984 : proceedings / edited by Mathai Joseph and Rudrapatna Shyamasundar
  8. 8 Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings / M. Boscarol, L. Carlucci Aiello, G. Levi (eds.)
  9. 9 ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, proceedings / edited by B. Robinet and R. Wilhelm
  10. 10 Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986 / edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik

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