Su	Mo	Tu	We	Th	Fr	Sa
1	2	3	4	5	6	7
8	9	10	11	12	13	14
15	16	17	18	19	20	21
22	23	24	25	26	27	28
29	30	31	1	2	3	4

Interactive Theorem Proving

Posted By: DZ123

Date: 19 Jun 2019 16:28:02

Sandrine Blazy, Christine Paulin-Mohring, David Pichardie, "Interactive Theorem Proving"
English | 2013 | ISBN: 364239633X | PDF | pages: 508 | 5.1 mb

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.

Download from icerbox.com

Development Programming

Tags

Language العربية հայերէն Български Català 中文 Hrvatski Čeština Dansk Nederlands English Eesti keel Føroyskt Suomi Vlaams Français ქართული Deutsch řomani čhib Ελληνικά עברית हिन्दी Magyar Íslenska Bahasa Indonesia Irish Italiano 日本語 한국어 Language neutral Latin Makedonski jazik Bokmål Other Polski Português Română Русский Scandinavian Srpski Slovenščina Español Svenska ภาษาไทย བོད་སྐད་ Türkçe Українська tiếng Việt

Tags: Biographies Business Children Classics Cooking Crime Development Diets Drawing eLearning Video English Erotica Fiction Finance History Learn English More Courses In English Non-Fiction Painting Personal Development Personality Philosophy Photo Physics Politics Programming Psychology Python Romance science Science SCIENCE Teens & Young Adult Thrillers

December 2024