2 Електронні книги від Michael Rusinowitch
David Basin & Michael Rusinowitch: Automated Reasoning
This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4-8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition establis …
PDF
Англійська
DRM
€114.40
Paliath Narendran & Michael Rusinowitch: Rewriting Techniques and Applications
…
PDF
Англійська
DRM
€57.64
