Automated Reasoning
Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Szerző:
David Basin, Michael Rusinowitch
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
36 359
Ft
This book constitutes the refereed proceedings of the Second International Joint Conference on Autom...
