Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science (4130), Band 4130)
von:
Natarajan Shankar
·
Ulrich Furbach
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-37187-8
ISBN-10: 3-540-37187-7
Springer
· 2008
