The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables

Zobrazit další vydání (1)
Podrobná bibliografie
Hlavní autor: Melham, T
Médium: Journal article
Vydáno: 1994
Search Result 1
The HOL Logic Extended with Quantification over Type Variables

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

Vydáno 1993
Conference item
Zobrazit všechna vydaní (2)

Podobné jednotky