IIITV Library catalog

Normal view MARC view ISBD view

Friedman, Daniel P.

The Little Prover / by Friedman, Daniel P. - London The MIT Press 2015 - 229 23cm

English

ISBN: 9780262527958

Source: PB

Subjects--Index Terms: Computer program language | LISP

Index Terms--Curriculum Objective: --CSE-IT

Dewey Class. No.: 511.36028563 / FRI

Print
Add to your cart (remove)
Save record
More searches