The Fictioning Horror Sale
 
 

Recently Viewed clear list


Powell's Q&A | September 3, 2014

Emily St. John Mandel: IMG Powell’s Q&A: Emily St. John Mandel



Describe your latest book. My new novel is called Station Eleven. It's about a traveling Shakespearean theatre company in a post-apocalyptic North... Continue »
  1. $17.47 Sale Hardcover add to wish list

    Station Eleven

    Emily St. John Mandel 9780385353304

spacer

On Order

$103.75
New Trade Paper
Currently out of stock.
Add to Wishlist
available for shipping or prepaid pickup only
Qty Store Section
- Local Warehouse Software Engineering- Programming and Languages

Logic Programming: Proceedings of the Eleventh International Conference on Logic Programming...

by

Logic Programming: Proceedings of the Eleventh International Conference on Logic Programming... Cover

 

Synopses & Reviews

Publisher Comments:

ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation, which was first embodied in the programming language Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.< br /> < br /> < b> < i> Topics covered< /i> < /b> < br /> < br /> - Applications< br /> - Architecture< br /> - Artificial Intelligence< br /> - Concurrency< br /> - Constraints< br /> - Databases< br /> - Environments< br /> - Higher-Order Programming< br /> - Implementation< br /> - Language Design< br /> - Natural Language< br /> - Parallelism< br /> - Programming Methodology< br /> - Proof Theory< br /> - Semantics and Foundations< br /> - Static Analysis< br /> - Theorem Proving< br /> - Types

Synopsis:

Conference proceedings presenting the state-of-the-art in Logic Programming.

Synopsis:

ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation, which was first embodied in the programming language Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.

Topics covered:

- Applications
- Architecture
- Artificial Intelligence
- Concurrency
- Constraints
- Databases
- Environments
- Higher-Order Programming
- Implementation
- Language Design
- Natural Language
- Parallelism
- Programming Methodology
- Proof Theory
- Semantics and Foundations
- Static Analysis
- Theorem Proving
- Types

About the Author

Pascal Van Hentenryck is Professor in the Department of Computer Science at Brown University. He is the author or editor of several MIT Press books.

Product Details

ISBN:
9780262720229
Editor:
Van Hentenryck, Pascal
Author:
Hentenryck
Editor:
Van Hentenryck, Pascal
Author:
Van Hentenryck, Pascal
Author:
Hentenryck, Pascal Van
Publisher:
MIT Press (MA)
Location:
Cambridge
Subject:
Programming Languages - General
Subject:
Data processing
Subject:
Logic Design
Subject:
Artificial Intelligence
Subject:
Artificial Intelligence - General
Subject:
Intelligence (AI) & Semantics
Subject:
Software Engineering - Programming and Languages
Edition Description:
Trade paper
Series:
Logic Programming Logic Programming
Publication Date:
19940731
Binding:
TRADE PAPER
Grade Level:
from 17
Language:
English
Pages:
772
Dimensions:
10 x 7 in

Related Subjects

Computers and Internet » Artificial Intelligence » General
Computers and Internet » Computers Reference » General
Computers and Internet » Software Engineering » Programming and Languages

Logic Programming: Proceedings of the Eleventh International Conference on Logic Programming... New Trade Paper
0 stars - 0 reviews
$103.75 Backorder
Product details 772 pages MIT Press - English 9780262720229 Reviews:
"Synopsis" by , Conference proceedings presenting the state-of-the-art in Logic Programming.
"Synopsis" by , ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation, which was first embodied in the programming language Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.

Topics covered:

- Applications
- Architecture
- Artificial Intelligence
- Concurrency
- Constraints
- Databases
- Environments
- Higher-Order Programming
- Implementation
- Language Design
- Natural Language
- Parallelism
- Programming Methodology
- Proof Theory
- Semantics and Foundations
- Static Analysis
- Theorem Proving
- Types
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.