Declarative Logic Programming: Theory, Systems, and Applications - Hardcover
$118.99
$119.95
-1%Quantity
01
Pay over time for orders over $35.00 with
Availability:In StockContributor:Michael Kifer, Yanhong Annie LiuSeries:ACM BooksPublish date:9/19/2018Pages:615
Language:EnglishPublisher:Association for Computing MachineryISBN-13:9781970001990ISBN-10:1970001992UPC:9781970001990Book Category:ComputersBook Subcategory:Computer Science, Computer Engineering, ProgrammingSize:9.25 x 7.50 x 1.31 inchesWeight:2.7822Product ID:SCA5WGXNK3
Declarative Logic Programming: Theory, Systems, and Applications
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...
Series: ACM Books
Language:EnglishPublisher:Association for Computing MachineryISBN-13:9781970001990ISBN-10:1970001992UPC:9781970001990Book Category:ComputersBook Subcategory:Computer Science, Computer Engineering, ProgrammingSize:9.25 x 7.50 x 1.31 inchesWeight:2.7822Product ID:SCA5WGXNK3
Michael Kifer is a professor with the Department of Computer Science, Stony Brook University, USA. He received his Ph.D. in Computer Science in 1984 from the Hebrew University of Jerusalem, Israel, and the M.S. degree in Mathematics in 1976 from Lomonosov Moscow State University, Russia. Since 2012, Dr. Kifer has served as the President of the Rules and Reasoning Association (RRA). His work spans...
Publisher: Association for Computing Machinery
Contributor(s)
Author
Free shipping on orders over $75. Standard shipping takes 3-7 business days. Returns accepted within 30 days of purchase.