This volume contains selected papers from the 9th International Workshop On User Interfaces for Theorem Provers (UITP10). UITP10 was held as a one-day satellite workshop of the Federated Logic Conference (FLOC’10) in Edinburgh, UK, on the 15th July 2010.
Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10) / D. Aspinall; C. Sacerdoti Coen. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - ELETTRONICO. - (2012), pp. 1-120.
Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10)
SACERDOTI COEN, CLAUDIO
2012
Abstract
This volume contains selected papers from the 9th International Workshop On User Interfaces for Theorem Provers (UITP10). UITP10 was held as a one-day satellite workshop of the Federated Logic Conference (FLOC’10) in Edinburgh, UK, on the 15th July 2010.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
