.245
a	Executing temporal logic programs
h	Buku-Bacaan Pendukung
.100
a	MOSZKOWSKI, Ben
.005
a	20161230114845
.260
a	London
b	Cambridge University Press
c	1986
.041
a	Inggris
.084
a	005.3 MOS
.336
a	Buku-Bacaan Pendukung