Proceedings of the 7th workshop on user interfaces for theorem provers (UITP 2006), Seattle, WA, USA, August 21, 2006
type: Item
instance of: scholarly article
title: Proceedings of the 7th workshop on user interfaces for theorem provers (UITP 2006), Seattle, WA, USA, August 21, 2006
zbMATH Open document ID: 1273.68014
published in: Electronic Notes in Theoretical Computer Science
publication date: 2013-10-18T00:00:00Z
full work available at URL: http://www.sciencedirect.com/science/journal/15710661/174/2
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 6216243
describes a project that uses: ACL2
describes a project that uses: Mizar
MaRDI profile type: Publication
Recommended article: Proceedings of the 9th international workshop on user interfaces for theorem provers (UITP10), Edinburgh, UK, July 15, 2010
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. 7th international conference, ITP 2016, Nancy, France, August 22--25, 2016. Proceedings
Recommended article: Functional design and implementation of graphical user interfaces for theorem provers
Recommended article: Interactive theorem proving. Third international conference, ITP 2012, Princeton, NJ, USA, August 13--15, 2012. Proceedings
Recommended article: Interactive theorem proving. 6th international conference, ITP 2015, Nanjing, China, August 24--27, 2015. Proceedings
Recommended article: A synthesis of the procedural and declarative styles of interactive theorem proving
Recommended article: Proceedings Seventh Workshop on Proof eXchange for Theorem Proving
description: scientific article; zbMATH DE number 6216243