ebook img
Author:Anders Schack-NielsenCarsten Schürmann (auth.)Jürgen GieslReiner Hähnle (eds.)
Language:English
Release year:2010
File size:6.596 MB
Number of page:545
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Similar Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.