005.15 / M613p
Miller, Dale
Programming with higher-order logic / Dale Miller and Gopalan Nadathur .- Cambridge: Cambridge University Press, 2012 .- xiii, 306p .
ISBN: 9780521879408
Subject Headings:
Logic programming;
Prolog (Computer program language);
Author Added Entry:
Nadathur, Gopalan;
Copy Details:
Acc. No.: A176116, Full Call No.: 005.15 M613p, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Miller, Dale
Programming with higher-order logic / Dale Miller and Gopalan Nadathur .- Cambridge: Cambridge University Press, 2012 .- xiii, 306p .
ISBN: 9780521879408
Subject Headings:
Logic programming;
Prolog (Computer program language);
Author Added Entry:
Nadathur, Gopalan;
Copy Details:
Acc. No.: A176116, Full Call No.: 005.15 M613p, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------