Computational logic: Structure sharing and proof of program properties, part II Book Discussion

Computational logic: Structure sharing and proof of program properties, part II (Xerox Corporation. Palo Alto Research Center. Computer Science Laboratory. Report)

Computational logic: Structure sharing and proof of program properties, part II (Xerox Corporation. Palo Alto Research Center. Computer Science Laboratory. Report)
by

J Strother Moore

Topics About This Book Topics That Mention This Book

There are no discussion topics on this book yet. Be the first to start one »

see all book discussions »
post a new topic »