Handbook of Automated Reasoning

Handbook of Automated Reasoning

EnglishHardbackPrint on demand
Elsevier Science & Technology
EAN: 9780444508126
Print on demand
Delivery on Friday, 24. of May 2024
CZK 5,695
Common price CZK 6,328
Discount 10%
pc
Do you want this product today?
Oxford Bookshop Praha Korunní
not available
Librairie Francophone Praha Štěpánská
not available
Oxford Bookshop Ostrava
not available
Oxford Bookshop Olomouc
not available
Oxford Bookshop Plzeň
not available
Oxford Bookshop Brno
not available
Oxford Bookshop Hradec Králové
not available
Oxford Bookshop České Budějovice
not available
EAN 9780444508126
ISBN 0444508120
Binding Hardback
Publisher Elsevier Science & Technology
Publication date June 21, 2001
Pages 1188
Language English
Country United States
Readership Professional & Scholarly
Editors Voronkov Andrei
Series Handbook of Automated Reasoning