Proceedings of the 9th international workshop on user interfaces for theorem provers (UITP10), Edinburgh, UK, July 15, 2010
type: Item
instance of: scholarly article
title: Proceedings of the 9th international workshop on user interfaces for theorem provers (UITP10), Edinburgh, UK, July 15, 2010
zbMATH Open document ID: 1284.68005
published in: Electronic Notes in Theoretical Computer Science
publication date: 2014-03-20T00:00:00Z
full work available at URL: http://www.sciencedirect.com/science/journal/15710661/285
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68U35
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 6271866
describes a project that uses: Coq
describes a project that uses: Maple
MaRDI profile type: Publication
Recommended article: Proceedings of the 7th workshop on user interfaces for theorem provers (UITP 2006), Seattle, WA, USA, August 21, 2006
Recommended article: Proceedings of the 8th international workshop on user interfaces for theorem provers (UITP 2008), Montréal, Canada, August 22, 2008
Recommended article: Interactive theorem proving. First international conference, ITP 2010, Edinburgh, UK, July 11--14, 2010. Proceedings
Recommended article: Q5240588
Recommended article: Interactive theorem proving. Third international conference, ITP 2012, Princeton, NJ, USA, August 13--15, 2012. Proceedings
Recommended article: Functional design and implementation of graphical user interfaces for theorem provers
Recommended article: Interactive theorem proving. Second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22--25, 2011. Proceedings
Recommended article: A synthesis of the procedural and declarative styles of interactive theorem proving
description: scientific article