Assia Mahboubi - Böcker
Visar alla böcker från författaren Assia Mahboubi. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
850 kr
Skickas inom 11-20 vardagar
Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking.
Del 10895 - Lecture Notes in Computer Science
Interactive Theorem Proving
9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Häftad, Engelska, 2018
987 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018. The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions.