Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /

Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /

PSZJBL

书目详细资料
Main Authors: TYPES `98 (2006 : Nottingham, UK), Altenkirch, Thorsten, McBride, Conor, SpringerLink (Online service)
格式:
语言:eng
出版: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
主题:
Automatic theorem proving
Computer programming
在线阅读:http://dx.doi.org/10.1007/978-3-540-74464-1

因特网

http://dx.doi.org/10.1007/978-3-540-74464-1

相似书籍