Computational Logic: Essays in Honor of Alan Robinson

0 avg rating
( 0 ratings by Goodreads )
 
9780262121569: Computational Logic: Essays in Honor of Alan Robinson

Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics.

Alan Robinson is currently the University Professor at Syracuse University.

Contents: Inference. Subsumption, A Sometimes Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jürgen Ohlbach and Jörg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Lévy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock.

"synopsis" may belong to another edition of this title.

About the Author:

Jean-Louis Lassez is a Research Scientist with IBM's Thomas J. Watson Research Center.

"About this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 100.00
US$ 70.93

Convert Currency

Shipping: US$ 1.99
Within U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Published by The MIT Press (1991)
ISBN 10: 0262121565 ISBN 13: 9780262121569
New Hardcover Quantity Available: 2
Seller:
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description The MIT Press, 1991. Hardcover. Book Condition: New. Never used!. Bookseller Inventory # P110262121565

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 70.93
Convert Currency

Add to Basket

Shipping: US$ 1.99
Within U.S.A.
Destination, Rates & Speeds

2.

Published by The MIT Press (1991)
ISBN 10: 0262121565 ISBN 13: 9780262121569
New Hardcover First Edition Quantity Available: 1
Seller:
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description The MIT Press, 1991. Hardcover. Book Condition: New. book. Bookseller Inventory # M0262121565

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 110.42
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

3.

Published by The MIT Press
ISBN 10: 0262121565 ISBN 13: 9780262121569
New Hardcover Quantity Available: 1
Seller:
Cloud 9 Books
(Wellington, FL, U.S.A.)
Rating
[?]

Book Description The MIT Press. Hardcover. Book Condition: New. 0262121565 New Condition. Bookseller Inventory # NEW7.1907960

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 112.50
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds