Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Kifer, Michael; Liu, Yanhong Annie

ISBN 10: 1970001992 ISBN 13: 9781970001990

Published by Association for Computing Machinery, 2018

Language: English

Condition: New Hardcover

Save for Later

Sold by California Books, Miami, FL, U.S.A.

AbeBooks Seller since October 27, 2023

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

New - Hardcover

Condition: New

Price: US$ 143.00 Convert Currency

Free shipping within U.S.A. Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Free 30-day returns

Save for Later

About this Item

Seller Inventory # I-9781970001990

Contact seller

Report this item

Bibliographic Details

Title: Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)
Publisher: Association for Computing Machinery
Publication Date: 2018
Language: English
ISBN 10: 1970001992
ISBN 13: 9781970001990
Binding: Hardcover
Condition: New

About this title

Synopsis

The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.Warren's fundamental contributions to Computer Science and the area of Logic Programming in particular.

Logic Programming (LP) is at the nexus of Knowledge Representation, Artificial Intelligence, Mathematical Logic, Databases, and Programming Languages. It is fascinating and intellectually stimulating due to the fundamental interplay among theory, systems, and...