ENGLISH

Handbook of automated reasoning, vol.2

By Robinson A. , Voronkov A. (eds.)

Book information

Publisher
Elsevier
Year
2001
ISBN
0444508139, 9780444508133, 0444829490, 9780444829498, 0444508120, 9780444508126, 0262182238, 9780262182232, 0262182211, 9780262182218, 026218222X, 9780262182225
Language
english
Format
DJVU
Filesize
15 MB (16102672 bytes)
Pages
1171\1171
Library
Kolxo3
DPI
600
Time added
2013-04-15 18:00:00

Similar books