Symbolic rewriting technique Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors
Series: Progress in computer science and applied logic ; v. 15Publication details: Basel Boston Birkhèauser Verlag c1998Description: 288 p ill 24 cmISBN:- 3764359013 (Basel : alk. paper)
- 0817659013 (Boston : pbk. : alk. paper)
- 005.13/1
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Carti | IMAR | II 34177 (Browse shelf(Opens below)) | Available | 0001726 |
Contine bibliogr
There are no comments on this title.
Log in to your account to post a comment.