Logic programming languages : constraints, functions, and objects
書誌情報:Logic programming languages : constraints, functions, and objects
edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten
Cambridge, Mass. : MIT Press , c1993
1 online resource (xiv, 204 p.)
WebCatPlus を見る
CiNii Books を見る


  


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

選択行を:  

書誌詳細
刊年1993
G/SMDリモートファイル
形態1 online resource (xiv, 204 p.)
シリーズ名Logic programming
注記Includes bibliographical references (p. [185]-201)
Restricted to subscribers or individual electronic text purchasers
This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped according to the unifying themes of functional programming, constraint, logic programming, and object-oriented programming
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=6267211(Abstract with links to resource)
出版国アメリカ合衆国
標題言語英語
本文言語英語
著者情報Apt, Krzysztof R.
ISBN9780262255646(: electronic bk)
無効/取消ISBN9780262511674(: electronic bk)
件名LCSH:Logicprogramminglanguages
NCID6267211
IDENThttps://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211

WebCatPlus を見る    CiNii Books を見る