A computational logic / Robert S. Boyer and J. Strother Moore.

Bibliographic Details
Main Author: Boyer, Robert S.
Other Authors: Moore, J Strother, 1947-
Format: Book
Language:English
Published: New York : Academic Press, c1979.
Series:ACM monograph series.
Subjects:
LEADER 01088pam a2200349 i 4500
001 ocm05196669
005 19990601133301.0
008 790706s1979 nyu b 001 0 eng
010 |a  79051693 
020 |a 0121229505 
035 |a (OCoLC)05196669 
035 |a (WaOLN)mts0257516 
040 |a DLC  |c DLC  |d TXM 
049 |a TXMM 
050 0 |a QA76.9.A96  |b B68 
082 0 |a 519.4 
092 |a 519.4  |b B69c 
100 1 |a Boyer, Robert S. 
245 1 2 |a A computational logic /  |c Robert S. Boyer and J. Strother Moore. 
260 |a New York :  |b Academic Press,  |c c1979. 
300 |a xiv, 397 p. ;  |c 24 cm. 
490 1 |a ACM monograph series 
500 |a Includes index. 
504 |a Bibliography: p. 385-387. 
590 |a 81-03318 
650 0 |a Automatic theorem proving. 
700 1 |a Moore, J Strother,  |d 1947- 
830 0 |a ACM monograph series. 
907 |a .b11883297  |b 07-17-10  |c 05-24-10 
998 |a w  |b 05-24-10  |c m  |d a   |e -  |f eng  |g nyu  |h 2  |i 1 
935 |a 276111 
945 |a 519.4  |b B69c  |g 1  |i 33082001220598  |j 0  |l w3   |o -  |p $0.00  |q -  |r -  |s -   |t 0  |u 2  |v 0  |w 0  |x 0  |y .i14135589  |z 05-24-10