-
Bib ID# 38936
ISBN: 9783642142031
UPC: 10.1007/978-3-642-14203-1
Title: Automated Reasoning5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings /
Author: Giesl, Jürgen.
Publication Info:
Item Type: Language material