كتاب إلكتروني
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors
| العنوان: | Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors |
|---|---|
| المؤلفون: | Dietrich, DominikAff1, Schulz, EwarystAff1, Wagner, MarcAff1 |
| المساهمون: | Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Autexier, Serge, editor, Campbell, John, editor, Rubio, Julio, editor, Sorge, Volker, editor, Suzuki, Masakazu, editor, Wiedijk, Freek, editor |
| المصدر: | Intelligent Computer Mathematics : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings. 5144:398-414 |
| قاعدة البيانات: | Springer Nature eBooks |
Full Text Finder | ردمك: | 9783540851097 9783540851103 |
|---|---|
| DOI: | 10.1007/978-3-540-85110-3_34 |