Computer-Aided ReasoningPublisher: Springer Nature Year: 17/04/2013 Edition: First ISBN: 9781475731880 Publication form: eBook: Fixed Page eTextbook (PDF)
|
1 859.29 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Computer-Aided ReasoningPublisher: Springer Nature Year: 06/12/2012 ISBN: 9781461544494 Publication form: eBook: Fixed Page eTextbook (PDF)
|
1 749.59 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Computer-Aided Reasoning: An ApproachPublisher: Springer, Berlin ISBN: 9780792377443 Publication form: hardback
|
Ask about the product
|
Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, ProceedingsPublisher: Springer, Berlin ISBN: 9783642140518 Publication form: paperback
|
Ask about the product
|
Computer-Aided Reasoning: An ApproachPublisher: Springer, Berlin ISBN: 9781461370031 Publication form: paperback
|
Ask about the product
|
Computer-Aided Reasoning: ACL2 Case StudiesPublisher: Springer, Berlin ISBN: 9780792378495 Publication form: hardback
|
Ask about the product
|