Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings /

Bibliographic Details
Corporate Author: International Conference on Rewriting Techniques and Applications Seattle, Wash.
Other Authors: Pfenning, Frank
Format: Conference Proceeding Book
Language:English
Published: Berlin : Springer, [2006]
Series:Lecture notes in computer science. 4098.
Subjects:
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Remote Storage

Holdings details from Remote Storage
Call Number: QA267 .I555 2006
 
Call Number Status Get It
QA267 .I555 2006 Available