作者:DOVIER, AGOSTINO (EDT)/ PONTELLI, ENRICO (EDT)/ KOWALSKI, ROBERT (FRW)
出版社:SPRINGER-VERLAG NEW YORK INC
出版日期:2010年07月29日
語言:英文 ISBN:9783642143083
裝訂:平裝

內容簡介TOP THIS BOOK CELEBRATES THE 25TH ANNIVERSARY OF GULP---THE ITALIAN ASSOCIATION FOR LOGIC PROGRAMMING. AUTHORED BY ITALIAN RESEARCHERS AT THE LEADING EDGE OF THEIR FIELDS, IT PRESENTS A STATE-OF-THE-ART SURVEY OF LOGIC PROGRAMMING, MAKING IT A USEFUL REFERENCE FOR BOTH RESEARCHERS AND STUDENTS.

THE VOLUME CONTAINS 14 INVITED PAPERS, EACH GIVING A DETAILED ANALYSIS OF A SPECIFIC FIELD OF LOGIC PROGRAMMING AND PROVIDING BOTH A HISTORICAL PERSPECTIVE AND A PRECISE DISCUSSION OF CURRENT RESEARCH. THE TOPICS DISCUSSED ARE: THEORETICAL FOUNDATIONS OF LOGIC PROGRAMMING, PROGRAM TRANSFORMATIONS, NON-MONOTONIC REASONING, CONSTRAINT LOGIC PROGRAMMING, CONCURRENT LOGIC PROGRAMMING, PROGRAM VERIFICATION, APPLICATIONS OF LOGIC PROGRAMMING, ANSWER SET PROGRAMMING, DATABASES AND WEB, AGENTS AND MULTI-AGENT SYSTEMS, FUNCTIONAL LOGIC PROGRAMMING, HIGHER ORDER PROGRAMMING, AND AUTOMATED THEOREM PROVING.

THE BOOK CLOSES WITH A CHAPTER REVIEWING IN DETAIL THE MAIN APPLICATIONS OF LOGIC PROGRAMMING DEVELOPED IN ITALY AND/OR BY ITALIAN RESEARCHERS IN THE LAST 25 YEARS, ILLUSTRATING SUCCESSFUL WORK DONE AND POTENTIAL DIRECTIONS FOR FUTURE DEVELOPMENTS.

售價:3735


資料來源:博客來


###其他選擇連結###
Individuals and Interactions: An Agile Guide
Moving Media Storage Technologies: Applications & Workflows for Video and Media Server Platforms
Microsoft Office 2010, Advanced
Microsoft Office 2010, Advanced
DTrace: Dynamic Tracing in Oracle Solaris, Mac OS X and FreeBSD
Microsoft Sharepoint 2010 Developer Reference
Clearly Visual Basic: Programming With Microsoft Visual Basic 2010
Scaling CouchDB: Replication, Clustering, and Administration
Make: Arduino Bots and Gadgets: Learning by Discovery
Linux Command Line and Shell Scripting Bible
Programming With Microsoft Visual Basic 2010
Learn You a Haskell for Great Good!: A Beginner’s Guide
An Introduction to TTCN-3
Professional Functional Programming in C#: Classic Programming Techniques for Modern Projects
Design for Trustworthy Software: Tools, Techniquesand Methodology of Developing Robust Software
Refactoring Databases: Evolutionary Database Design
Hands-on Guide to the Red Hat Exams: RHCSA and RHCE Cert Guide and Lab Manual
C++ without Fear: A Beginner’s Guide That Makes You Feel Smart
Murach’s ADO.NET 4 Database Programming With C# 2010: Training & Reference
The Design of Approximation Algorithms
Using Microsoft Project 2010
【seRUSH】韓版細橫條假口袋V領長袖T恤
每日好康★諾貝爾 草莓奶凍1盒+芋頭奶凍1盒+奶糖酥1盒
FENDI 優雅古典陶瓷真鑽腕錶-白/38mm
【seRUSH】韓版細橫條假口袋V領長袖T恤
LANCOME果凍亮唇蜜紐約星光限量版買一送一
BURBERRY 寶藍色素面尼龍抽繩購物包(大)
【白鳥花子】甜美騎士-蕾絲MIX皮質外套(共二色)
【韓國 Line up】搖滾帥氣感 破損個性風貼腿褲(早秋NEW)(共三色)
【白鳥花子】秋戀密語-附黑腰封蕾絲花接網雪紡洋(共二色)
LANCOME果凍亮唇蜜紐約星光限量版買一送一

全站熱搜

wang 發表在 痞客邦 留言(0) 人氣()