Handbook of automated reasoning, Volume II
Main Author: | |
---|---|
Other Authors: | |
Format: | eBook |
Language: | English |
Published: |
Amsterdam
Elsevier
2001
|
Subjects: | |
Online Access: | |
Collection: | O'Reilly - Collection details see MPG.ReNa |
Physical Description: | xxv, 963-2122 pages illustrations |
---|---|
ISBN: | 9780080532790 0080532799 0444508139 |