Handbook of automated reasoning 2
Handbook of automated reasoning 2
Ed.: Alan Robinson ...
- XXV, S. 963 - 2122
0444508120 026218222X
9780444508126
313724327 US-OCoLC ZBM0964.00020
0444508120 026218222X
9780444508126
313724327 US-OCoLC ZBM0964.00020