Programming With Higher-Order Logic, Hardcover by Miller, Dale; Nadathur, Gop...

Programming with Higher-Order Logic Hardcover Dale, Nadathur, Gop

Programming with Higher-Order Logic by Gopalan Nadathur and Dale Miller ...

Reasoning with Logic Programming by Jose Julio Alferes: New

Dale Miller Gopalan Nada Programming with Higher-Order L (Hardback) (UK IMPORT)

Programming with Higher-Order Logic Miller Nadathur Hardback 9780521879408

Programming with Higher-Order Logic by Dale Miller (English) Hardcover Book