1
by Clocksin, W. F., Mellish, C. S.
Published 1984
Springer Berlin Heidelberg
Table of Contents: ... -- 7.7 Sorting -- 7.8 Using the Database: random, gensym, findall -- 7.9 Searching Graphs -- 7.10 Sift...

2
by Clocksin, W. F., Mellish, C. S.
Published 1981
Springer Berlin Heidelberg
... computation. including: D relational databases D mathematical logic D abstract problem solving D understanding...