Logic programming : proceedings of the 1995 international symposium
書誌情報:Logic programming : proceedings of the 1995 international symposium
edited by John Lloyd
Cambridge, Mass. : MIT Press , c1995
1 online resource (ix, 646 p.) : ill.
WebCatPlus を見る
CiNii Books を見る


  


所蔵一覧
https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276853
巻号予約人数所在請求記号登録番号資料ID状態貸出区分備考 
1: electronic bk0オンライン 1A001822  利用可
電子書籍 

選択行を:  

書誌詳細
刊年1995
G/SMDリモートファイル
形態1 online resource (ix, 646 p.) : ill.
別書名ILPS '95
シリーズ名Logic programming
注記"International Logic Programming Symposium"--P. [4] of cover
Sponsored by Association for Logic Programming
Includes bibliographical references and index
Restricted to subscribers or individual electronic text purchasers
The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. Both conferences are held annually. The theme for the 1995 conference was "Declarative Systems," particularly the integration of the logic programming, functional programming, and object-oriented programming paradigms
Also available in print
Mode of access: World Wide Web
Description based on PDF viewed 12/23/2015
URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276853(Abstract with links to resource)
出版国アメリカ合衆国
標題言語英語
本文言語英語
著者情報Lloyd, John
International Logic Programming Symposium
ISBN9780262291248(: electronic bk)
無効/取消ISBN9780262620994(: electronic bk)
件名LCSH:Logicprogramming
NCID6276853
IDENThttps://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276853

WebCatPlus を見る    CiNii Books を見る