Mín bókahill
Automated Deduction – CADE 26

Ebók

Automated Deduction – CADE 26

26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

Author

Springer Nature

Prísur

599,95 kr.

Vørulýsing av

Automated Deduction – CADE 26

Nágreining