Automated Reasoning
Second International Joint Conference, Ijcar 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Editor: DavidBasin
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2004
Paperback, 516 pages
Size: 234x156 mm
ISBN: 9783540223450
ISBN-10: 3540223452

