Proofs, programs and executable specifications in higher order logic

Description

München, Techn. University, Diss., 2003.

Links & Downloads

1. http://deposit.ddb.de/cgi-bin/dokserv?idn=969627661
2. http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2003/berghofer.pdf
3. http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2003/berghofer.html

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/76622393
Date	January 2003
Creators	Berghofer, Stefan.
Publisher	[S.l. : s.n.],
Source Sets	OCLC
Language	English
Detected Language	English
Source	LF