Author:
Martin Davis
Title:
A machine program for theorem-proving
Publisher:
New York: Courant Institute of Mathematical Sciences, New York University
Contributor: New York University, Institute of Fine Arts Library
Collection: newyorkuniversity
Format:
txt
Size: 14 kb