Statistics   Author Index
authors: 124845
books   : 333952
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
   Books search
  
   M :: Martin Davis :: A machine program for theorem-proving : download ebook or read online
Book preview: A machine program for theorem-proving by Martin Davis




Book info:


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

Read the ebook

» Read ebook online «

Free ebook download