Technical report series

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	School of Computing Sciences (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Sydney 1986-
Schlagworte:	Monografische Reihe
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Band
Generalised subsumption and its applications to induction and redundancy	1986