The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables

Čájet eará veršuvnnaid (1)
Bibliográfalaš dieđut
Váldodahkki: Melham, T
Materiálatiipa: Journal article
Almmustuhtton: 1994
Search Result 1
The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables Dahkki Melham, T

Almmustuhtton 1993
Conference item
Čájet buot veršuvnnaid (2)

Geahča maid