Computer-Aided ReasoningWydawnictwo: Springer Nature Data wydania: 17/04/2013 Wydanie: Pierwsze ISBN: 9781475731880 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
1 859.29 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Computer-Aided ReasoningWydawnictwo: Springer Nature Data wydania: 06/12/2012 ISBN: 9781461544494 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
1 749.59 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Computer-Aided Reasoning: ACL2 Case StudiesWydawnictwo: Springer, Berlin ISBN: 9780792378495 Forma publikacji: książka w twardej oprawie
|
Zapytaj o ten produkt
|
Computer-Aided Reasoning: An ApproachWydawnictwo: Springer, Berlin ISBN: 9780792377443 Forma publikacji: książka w twardej oprawie
|
Zapytaj o ten produkt
|
Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, ProceedingsWydawnictwo: Springer, Berlin ISBN: 9783642140518 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
Computer-Aided Reasoning: An ApproachWydawnictwo: Springer, Berlin ISBN: 9781461370031 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|