The Efficiency of Theorem Proving StrategiesWydawnictwo: Springer Nature Data wydania: 11/11/2013 Wydanie: Drugie ISBN: 9783663078470 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
493.56 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic AnalysisWydawnictwo: Vieweg+Teubner ISBN: 9783528155742 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|