Wolfgang Bibel Automated Theorem Proving

Price for Eshop: 1042 Kč (€ 41.7)

VAT 0% included

Condition: New

Availability: E-book delivered electronically online

E-Book information

Publisher: Vieweg+Teubner Verlag

Date: 2013

EAN/ISBN13: 978-3-322-90100-2

ISBN10: 3-322-90100-9

You can ask us about this book and we'll send an answer to your e-mail.