Loop checking in logic programming

Teilw. zugl.: Amsterdam, Univ., Diss., 1991

Bibliographische Detailangaben

1. Verfasser:	Bol, Roland N. (VerfasserIn)
Weitere Verfasser:	Bol, R. N. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam Centrum voor Wiskunde en Informatica c 1995
Schriftenreihe:	CWI tract 112
Schlagworte:	Hochschulschrift
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!