Reading Length
Home
Speed Tests
Login
Michael Rusinowitch
Identifiers
Open Library
OL10236845A
Books by Michael Rusinowitch
Total count: 1
Automated Reasoning
Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Springer London, Limited
2004-01-01
