Logic programming : proceedings of the 1997 International Symposium
書誌情報:Logic programming : proceedings of the 1997 International Symposium
edited by Jan Małuszyński
Cambridge, Mass. : MIT Press , c1997
1 online resource (xvi, 425 p.) : ill.
WebCatPlus を見る
CiNii Books を見る


  


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

選択行を:  

書誌詳細
刊年1997
G/SMDリモートファイル
形態1 online resource (xvi, 425 p.) : ill.
別書名ILPS '97
シリーズ名Logic programming series
注記"Papers presented at the 1997 International Logic Programming Symposium (ILPS'97), held Port Washington, Long Island, NY, October 13-16, 1997"--Pref
Includes bibliographical references and index
Restricted to subscribers or individual electronic text purchasers
The annual International Logic Programming Symposium, traditionally held in North America, is one of the main international conferences sponsored by the Association of Logic Programming. The themes of the 1997 conference are new theoretical and practical accomplishments in logic programming, new research directions where ideas originating from logic programming can play a fundamental role, and relations between logic programming and other fields of computer science. Topics include theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.Logic Programming series, Research Reports and Notes
Also available in print
Mode of access: World Wide Web
Description based on PDF viewed 12/29/2015
URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517(Abstract with links to resource)
出版国アメリカ合衆国
標題言語英語
本文言語英語
著者情報Małuszyński, J.
International Symposium on Logic Programming
ISBN9780262291323(: electronic bk)
無効/取消ISBN9780262631808(: electronic bk)
件名LCSH:Logicprogramming
NCID6267517
IDENThttps://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517

WebCatPlus を見る    CiNii Books を見る