3615966
9780471607717
Symbolic Computing W/lisp+prolog
by Mueller, Robert A., Page, Rex L.
About this item
- Condition: Good
- Provider: JensonBooks Contact
- Provider Rating: 96%
- Ships From: Logan, UT
- Shipping: Standard
- Comments: This item shows signs of wear from consistent use, but it remains in good condition and works perfectly. All pages and cover are intact , but may have aesthetic issues such as small tears, bends, scratches, and scuffs. Spine may also show signs of wear. Pages may include some notes and highlighting. May include "From the library of" labels. Satisfaction Guaranteed.
Product details
- ISBN-13: 9780471607717
- ISBN: 0471607711
- Publisher: Wiley & Sons, Incorporated, John
AUTHOR
SUMMARY
Partial table of contents: Lisp. Prolog, and Denotational Programming. LISP. Functions. More List Manipulation Functions. Naming Partial Results: let. Debugging. Pumping. Input and Output. Numbers. PROLOG. Propositional Facts, Rules, and Queries. Unification: How the Interpreter Instantiates Variables. Propagation and Accumulation of Results. And/Or Control Flow. Not. Generating All Solutions Using bagof and setof. Built-In Relations for Program File Access and Transformation of Terms. Numbers. Declarative and Procedural Semantics of Logic Programs. LISP VS. PROLOG. Lisp vs. Prolog: How Do They Relate'. APPLICATIONS. Two-Opponent Games. Automated Theorem Proving. Index.Mueller, Robert A. is the author of 'Symbolic Computing W/lisp+prolog' with ISBN 9780471607717 and ISBN 0471607711.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
