Proceedings of the 7th workshop on user interfaces for theorem provers (UITP 2006), Seattle, WA, USA, August 21, 2006
From MaRDI portal
Publication:373628
zbMath1273.68014MaRDI QIDQ373628
No author found.
Publication date: 18 October 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: http://www.sciencedirect.com/science/journal/15710661/174/2
00B25: Proceedings of conferences of miscellaneous specific interest
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
Uses Software