Automated Reasoning
Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Autor:
David Basin, Michael Rusinowitch
Dostępność:
Dostępna u dostawcy w małych ilościach
Wysyłamy za 13-18 dni
472.40
zł
This book constitutes the refereed proceedings of the Second International Joint Conference on Autom...
