On the safe termination of PROLOG programs

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Apt, Krzysztof R. 1949- (VerfasserIn), Bol, Roland N. (VerfasserIn), Klop, Jan Willem 1945- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Amsterdam 1989
Schriftenreihe:	Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 89,13
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

On the safe termination of PROLOG programs von Apt, Krzysztof R. 1949-

Veröffentlicht 1989

Buch