Intuitionistic type theory and general problem theory a relationship

Bibliographische Detailangaben

1. Verfasser:	Haeusler, Edward Hermann (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Rio de Janeiro Pontifícia Universidade Católica do Rio de Janeiro, Departamento de Informática 1988
Schriftenreihe:	Monografias em ciência da computação 1988,18
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!