Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Computing with logic : logic programming with Prolog / David Maier, David S. Warren. by Maier, David, 1953- Warren, David S Material type: Text; Format: print ; Literary form: Not fiction Publication details: Menlo Park, Calif. : Benjamin/Cummings Pub. Co., c1988 Availability: Items available for loan: Central Library, SUST (3)Call number: 005.133 MAC, ... Place hold Add to cart (remove)
	2.	Programming with Higher-Order Logic / Dale Miller, Gopalan Nadathur. by Miller, Dale [author.] Nadathur, Gopalan [author.] Material type: Text; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2012 Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search