Liknande böcker

Intelligent Computer Mathematics
Bok av Michael Kohlhase
Tests and Proofs : 10th International Conference, TAP 2016, Held as Part...
Bok av Bernhard K Aichernig
Interactive Theorem Proving : 9th International Conference, ITP 2018, He...
Bok av Jeremy Avigad
Interactive Theorem Proving : 8th International Conference, ITP 2017, Br...
Bok av Mauricio Ayala-Rincon
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, I...
Bok av Sujata Ghosh
Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on t...
Bok av Roland Meyer
Deductive Software Verification – The KeY Book : From Theory to Practice
Bok av Wolfgang Ahrendt
Computer Aided Verification : 29th International Conference, CAV 2017, H...
Bok av Rupak Majumdar

Intelligent Computer Mathematics

Bok av Herman Geuvers