Buy Used and New Michael Rusinowitch Books

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings: 3097 (Lecture Notes in Computer Science)

by Michael Rusinowitch,David Basin

ISBN 13: 9783540223450

Format: Paperback (512 pages)
Publisher: Springer
Published: 22 Jun 2004

Save for later

Rewriting Techniques and Applications: 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999 Proceedings: 1631 (Lecture Notes in Computer Science)

by Paliath Narendran,Michael Rusinowitch

ISBN 13: 9783540662013

Format: Paperback (420 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later