Higher-order Computational Logic (2002)

Cached

Download Links

by Lloyd Computer Sciences , J. W. Lloyd
Venue:Computational Logic: From Logic Programming into the Future
Citations:2 - 0 self