![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Automated Reasoning Volume 3097 ||
Basin, David, Rusinowitch, MichaëlVolume:
10.1007/b9
Year:
2004
Language:
english
DOI:
10.1007/b98691
File:
PDF, 4.07 MB
english, 2004