Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
E-book
Electronic resources
Record details
- ISBN: 9783540710707
-
Physical Description:
electronic
electronic resource
access
remote
online resource. - Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.