Higher-Order Algebra, Logic, and Term Rewriting

Name: Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop
Brand: Springer
SKU: 9783540612544
Price: 5586.00 INR
Availability: InStock

Second International Workshop

by Gilles Dowek, Jan Heering, Karl Meinke

Springer · 1996 · Paperback

₹5,586

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop is written by Gilles Dowek, Jan Heering & others. This paperback edition from Springer (1996) has 287 pages. The book is part of the Lecture notes in computer science series.

The book deals with Congresses, Rewriting systems (Computer science), Symbolic and mathematical Logic and Algebra.