Return to search

Proofs, programs and executable specifications in higher order logic

Mùˆnchen, Techn. University, Diss., 2003.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/76622393
Date January 2003
CreatorsBerghofer, Stefan.
Publisher[S.l. : s.n.],
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceLF

Page generated in 0.0018 seconds