Automated reasoning [E-Book] : 4th international joint conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 : proceedings / ed. by A. Armando ...
Armando, A., (editor)
Berlin : Springer, 2008
online resource
englisch
9783540710691
9783540710707 (e-book)
Lecture notes in computer science ; 5295
Full Text
Description not available.