IMSc Library catalog › Details for: Term Rewriting and all that

Normal view MARC view ISBD view

Term Rewriting and all that

By: Baader, Franz | Nipkow, TobiasMaterial type: Text

TextPublication details: Cambridge ; CUP ; 1998Description: 301pISBN: 0 521 45520 0

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681.3 BAA (Browse shelf (Opens below))		Available		36715

Previous								Next
Previous	681.3 ARN Finite Transition Systems : Semantics of Communicating Systems	681.3 ARO Computational complexity a modern approach	681.3 AST Algebraic Foundations of Systems Specification	681.3 BAA Term Rewriting and all that	681.3 BAC Refinement Calculus : Systematic Introduction : (GTCS)	681.3 BACK Evolutionary Computation Vols.1 & 2 : Basic & Advanced Algorithms and Operators	681.3 BACK Evolutionary Computation Vols.1 & 2 : Basic & Advanced Algorithms and Operators	Next

There are no comments on this title.

to post a comment.