Higher-Order Algebra, Logic, and Term Rewriting

Name: Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop
Brand: Springer
SKU: 9783540582335
Price: 5554.00 INR
Availability: InStock

First International Workshop

by Jan Heering, Karl Meinke, Bernhard Möller

Springer · 1994 · Paperback

₹5,554

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

Published by Springer in 1994, Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop by Jan Heering, Karl Meinke & others runs to 344 pages in paperback. 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.