Record:   Prev Next
Author Bol, R. N. (Roland N.)
Title Loop checking in logic programming / R.N. Bol
Imprint Amsterdam, the Netherlands : CWI, c1995
book jacket
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA76.63 B64 1995    AVAILABLE    30340200370587
Descript 198 p. : ill. ; 24 cm
Series CWI tract ; 112
Note Includes bibliographical references (p. 185-190) and index
Subject Logic programming
Alt Author Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands)
Record:   Prev Next