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
Meira eftir Author
Aðrar bøkur eftir sama høvund
Líknandi Bøkur
Finn líknandi bøkur her