You Searched Books for Logic programming

Advances in Computational and Stochastic Optimization, Logic Programming and Heuristic Search : Interfaces in Computer Science and Operations Research by David L. Woodruff (Editor) , Costanzo Ranci (Editor)

Hardcover

Details

Usually ships within 24 hours

• ISBN-13: 9780792380788
• Pub. Date: January 1998

• Read reviews

Advances in Inductive Logic Programming by L. De Raedt (Editor) , Luc De Raedt

Hardcover

Details

Usually ships within 24 hours

• ISBN-13: 9789051992427
• Pub. Date: January 1996

Inductive Logic Programming is a new research area situated in machine learning and logic programming, two subfields of artificial intelligence. The goal of inductive logic ...  More

• Read reviews

Applications of Logic Databases by Raghu Ramakrishnan, Raghu Ramakrishnan (Editor)

Hardcover

Details

Usually ships within 24 hours

• ISBN-13: 9780792395331
• Pub. Date: November 1994

The development of a methodology for using logic databases is essential if new users are to be able to use these systems effectively to solve their problems, and this remains ...  More

• Read reviews

Arithmetic and Logic in Computer Systems by Mi Lu

Textbook Hardcover - New Edition

Details

Usually ships within 24 hours

• ISBN-13: 9780471469452
• Sales Rank: 573,538
• Pub. Date: January 2004

Lu (Texas A&M U.) presents algorithms for conducting addition, subtraction, multiplication, and division operations in digital systems. Intending the work as a textbook for ...  More

• Read reviews

Autonomous, Model-Based Diagnosis Agents by Michael Schroeder

Hardcover

Details

Usually ships within 24 hours

• ISBN-13: 9780792381426
• Pub. Date: September 2007

Autonomous, Model-Based Diagnosis Agents defines and describes the implementation of an architecture for autonomous, model-based diagnosis agents. It does this by developing a ...  More

• Read reviews

The Clausal Theory of Types by D. A. Wolfram

Paperback

Details

Usually ships within 24 hours

• ISBN-13: 9780521117906
• Pub. Date: July 2009

In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.  More

• Read reviews

Computational Logic : Essays in Honor of Alan Robinson by Jean-Louis Lassez (Editor) , Gordon Plotkin (Editor)

Hardcover

Details

Usually ships within 24 hours

• ISBN-13: 9780262121569
• Pub. Date: October 1991

Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming.  More

• Read reviews

Computational Logic : Logic Programming and Beyond: Essays in Honor of Robert A. Kowalski by A. C. Kakas, F. Sadri, Antonis C. Kakas (Editor)

Paperback

Details

Usually ships within 24 hours

• ISBN-13: 9783540439608
• Pub. Date: August 2002

This volume spans the whole field of computational logic seen from the point of view of logic programming. The topics addressed range from issues concerning the development of ...  More

• Read reviews