A polymorphic type system for Prolog

Bibliographische Detailangaben

Veröffentlicht in:	Artifical intelligence ; 23.1984
1. Verfasser:	Mycroft, Alan (VerfasserIn)
Weitere Verfasser:	O'Keefe, Richard A. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	S.l. Elsevier 1984
Schriftenreihe:	[Research paper / Department of Artifical Intelligence, University of Edinburgh] [211]
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!